Line numbers don't align properly
Posted: 2009-01-22 11:21:39
In line numbers, when you use a font-size smaller than that of the text, the numbers don't align properly. Usually, I'd have a text font-size of 11pt and line numbers with font-size 7pt. In this combination, the line numbers display much too low (see screenshot).
Another small bug: on the screen, the line numbers are not anti-aliased.

Another small bug: on the screen, the line numbers are not anti-aliased.
