| .. |
|
private
|
fix bug in keybinding table construction
|
2016-03-18 09:42:31 -05:00 |
|
collapsed-snipclass-wxme.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
collapsed-snipclass.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
comment-snip.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
decorated-editor-snip.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
doc.txt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
framework-sig.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
framework-unit.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
framework.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
gui-utils.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
info.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
keybinding-lang.rkt
|
Remove extra directories.
|
2014-12-02 02:33:07 -05:00 |
|
main.rkt
|
change the preferences defaults so that the default for bold in the color
|
2015-09-14 09:43:19 -05:00 |
|
notify.rkt
|
Move framework/notify docs from unstable docs.
|
2015-08-18 16:41:25 -05:00 |
|
preferences.rkt
|
remove the restriction that new preferences can be registered only before a snapshot is grabbed
|
2016-03-08 09:29:03 -06:00 |
|
splash.rkt
|
fix contract-related errors in framework/splash
|
2015-12-18 11:21:04 -06:00 |
|
test.rkt
|
make error message a little more informative
|
2015-12-29 21:25:28 -06:00 |
