Robby Findler 0d6b825377 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!		2012-03-24 20:20:05 -05:00
..
private	add a preference to control whether or not there is an extra	2012-03-24 20:20:05 -05:00
tests	moved the docs-complete library into rackunit	2011-05-05 16:10:42 -05:00
info.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
main.rkt	fixed up the string constants collection	2011-04-26 23:26:19 -05:00
string-constant.rkt	fixed up the string constants collection	2011-04-26 23:26:19 -05:00
string-constants.scrbl	docs reorganization	2011-07-01 17:16:53 -06:00