Jon Rafkind 7a68394411 set the font before computing the distance between the line numbers and the real text. add an option to the general pane to enable line numbers ... original commit: eb89a429e796f4ee0ae0d8e0bd154992e36dc0dc		2010-11-01 23:45:00 -06:00
collects	set the font before computing the distance between the line numbers and the real text. add an option to the general pane to enable line numbers	2010-11-01 23:45:00 -06:00
doc/release-notes/gracket	adjust release notes for 5.0.2	2010-10-22 14:07:35 -06:00
man/man1	A lot of "MrEd" -> "GRacket"s.	2010-05-16 23:46:05 -04:00