Matthew Flatt 0ebcd5678d add dc<%> copy method; speed text drawing a little and implement but disable editor scrolling with dc<%> copy ... original commit: 4bd84adb3afa20f3c95799b915ab6a042ea54c42		2010-11-05 15:54:25 -06:00
collects	add dc<%> copy method; speed text drawing a little and implement but disable editor scrolling with dc<%> copy	2010-11-05 15:54:25 -06:00
doc/release-notes	generalize editor selection mechanism to support Windows style	2010-11-05 15:54:19 -06:00
man/man1	A lot of "MrEd" -> "GRacket"s.	2010-05-16 23:46:05 -04:00