GNU bug report logs - #1254
23.0.60; linum-mode display problem with variable-pitch font

Previous Next

Full log

View this message in rfc822 format

From: Chong Yidong <cyd <at> stupidchicken.com>
To: Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: Markus Triska <markus.triska <at> gmx.at>, 1254 <at> debbugs.gnu.org,
        Stephen Berman <stephen.berman <at> gmx.net>
Subject: bug#1254: 23.0.60; linum-mode display problem with variable-pitch font
Date: Tue, 28 Oct 2008 13:29:25 -0400

Stefan Monnier <monnier <at> iro.umontreal.ca> writes:

>> I cannot reproduce the problem with X11 on OSX and thus cannot test
>> this. Would it work to interpret the margin width in terms of the
>> broadest glyph in a font, so other packages would benefit too?
>
> Not only that's not really possible with the current code's limitations,
> but it would also be a bad idea: in most fonts the widest glyph is
> pretty hideously wide, so you'd end up with margins that are much
> too wide.

I looked at this some more.  Apparently, the workaround of making the
linum face fixed pitch doesn't work, because the margin width always
uses the default glyph width.  Apparently, the default glyph width is
too narrow when using some variable-pitch fonts (in my case, DejaVu
Sans).

I don't know any completely satisfactory way to resolve this.  One
possible workaround is for linume.el to provide an option to add an
extra column to the margin width.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.