Robby Findler 018fd62d43 add a preference to control whether or not there is an extra ... pixel of space in between lines in DrRacket. This change is based on Matthew's experience having a look at the font setup on the three platforms. He writes: > * Mac OS X: the convention seems to be to add space between lines. > TextEdit, for example, looks like DrRacket: the maze has spaces. > > (I can't find a font that makes the maze look right, actually, even > if I adjust the line spacing.) > > * Windows: the convention seems to be that space is built into the > font. DrRacket (and SirMail) draw lines more sparsely than Notepad. > > Perhaps consistent with the differing conventions, the height of > "Courier New" at 11-pixel size is 14 on Windows, 13 on Mac OS X. > > * Unix: the convention seems to be to add space. DrRacket looks like > the default Terminal and Text Editor programs on Ubuntu. > > The maze nevertheless looks right everywhere, because the glyphs > extend an extra pixel above the declared bounding box! original commit: 0d6b82537776ad4bd850e3b7c5cc1bdaa209b865		2012-03-24 20:20:05 -05:00
collects	add a preference to control whether or not there is an extra	2012-03-24 20:20:05 -05:00
doc/release-notes	remove unsupported MDI styles and method	2011-08-04 08:02:54 -06:00
man/man1	minor man-page corrections	2011-02-01 08:01:17 -07:00