Robby Findler 6941a07998 fix the "Show Active Keybindings" menu item ... for the case where one keybinding's keys is a prefix of anothers (and the keymaps are chained)		2016-07-21 22:13:55 -05:00
..
embedded-gui	Remove extra directories.	2014-12-02 02:33:07 -05:00
mrlib	generalize set-interactive-write-handler & use it in text:ports-mixin	2016-05-28 18:34:52 -05:00
scribblings	fix the "Show Active Keybindings" menu item	2016-07-21 22:13:55 -05:00
info.rkt	extend the example snip with wxme support	2015-12-17 10:33:36 -06:00
LICENSE.txt	Remove extra directories.	2014-12-02 02:33:07 -05:00