Buttonlists
Depends on !144 (merged)
Turn button lists into key lists. Improves the model/presentation separation.
I tried to replace GLists with Rust vectors (types!), but that's more trouble than it's worth at the moment :(
Due to an influx of spam, we have had to impose restrictions on new accounts. Please see this page for instructions on how to get full permissions. Sorry for the inconvenience.
Depends on !144 (merged)
Turn button lists into key lists. Improves the model/presentation separation.
I tried to replace GLists with Rust vectors (types!), but that's more trouble than it's worth at the moment :(