Commit Graph

5 Commits

Author SHA1 Message Date
Matthew Flatt
ac0442b990 framework preferences: add option for Control+Alt as AltGr 2016-03-17 17:01:36 -06:00
Robby Findler
28406b9a76 remove the restriction that new preferences can be registered only before a snapshot is grabbed
also improve the docs a little bit and some Rackety
2016-03-08 09:29:03 -06:00
Robby Findler
da7a258da8 bring down below 102 columns and fix a set! expression
to actually have an effect
2016-03-07 08:30:32 -06:00
Robby Findler
2d654de678 use the proper preferences panel 2015-07-22 12:18:32 -05:00
Sam Tobin-Hochstadt
135e357a37 Remove extra directories. 2014-12-02 02:33:07 -05:00