Robby Findler a58b1541a8 remove now useless private field ... original commit: 21050c24542a905daa6a29ffa04ebae58ff64228		2011-01-06 10:09:09 -06:00
..
private	remove now useless private field	2011-01-06 10:09:09 -06:00
collapsed-snipclass.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
comment-snip.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
decorated-editor-snip.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
doc.txt	typo (PR8778)	2007-07-07 02:52:10 +00:00
framework-sig.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
framework-unit.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
framework.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
gui-utils.rkt	generalize gui-utils:ok/cancel-buttons so that the ok button doesn't have to have the '(border) style	2010-12-17 10:02:46 -06:00
keybinding-lang.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
main.rkt	fixed up panel:dragable so that it actually does the right thing now	2010-12-31 09:58:51 -06:00
preferences.rkt	added a pointer to the serialization functions from the preferences marshalling and unmarshalling	2010-12-12 15:26:46 -06:00
splash.rkt	make sure all modifications to the splash screen controls happen in the splash's eventspace handler thread	2011-01-04 15:40:33 -06:00
test.rkt	ugh	2010-08-27 07:25:04 -05:00