[racket-dev] Text spacing different in gr2

I don't know whether this is better or worse, but it's different; in gracket2, the "intro" lines of text in the interactions pane are closer together. I measured the distance between the first and second line baselines to be two pixels larger (18 vs. 16) in the old version, gracket. This is probably accentuated by the thicker underline in gracket2.

John


-------------- next part --------------
A non-text attachment was scrubbed...
Name: gracket1.png
Type: image/png
Size: 13227 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20101028/67a97de9/attachment.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gracket2.png
Type: image/png
Size: 13220 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20101028/67a97de9/attachment-0001.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4669 bytes
Desc: not available
URL: <http://lists.racket-lang.org/dev/archive/attachments/20101028/67a97de9/attachment.p7s>