Matthew Flatt e7ecd69f95 line number fixes ... - restore some method augments that I shouldn't have deleted - handle font change through a style-list callback original commit: 9d7a7a1520d5be5ccd993dc935f1053e6160e01a		2011-01-07 13:02:33 -07:00
..
private	line number fixes	2011-01-07 13:02:33 -07: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