Re: Native line numbers, final testing

[James Cloos]

Eli,

Having re-compiled master, I tried out the native line numbers, by
chance in a buffer in variable-pitch-mode.  It looks like the display
uses SPACE (U+20) or SPACE's width to offset the digits.

It would look better if it used FIGURE SPACE (U+2007) or FIGURE SPACE's
width instead.  Then the line numbers would, err, line up.

The code might need to check whether the current face provides a glyph
for FIGURE SPACE.

Alternatively, use the width of one of the digits (such as DIGIT EIGHT)
to determine how many pixels to skip.

Otherwise, it looks and works great.

-JimC
-- 
James Cloos <address@hidden>         OpenPGP: 0x997A9F17ED7DAEA6