Line numbers don't align properly

[andreas]

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.

[martin]

You're right, we could do a better job when the font sizes are mismatched. If I'm not mistaken, whether or not line numbers are antialiased is controlled by the system preference to turn off font smoothing for text drawn below a certain font size. Probably they should always be drawn antialiased, just as body text is. Thanks for letting us know.