GNU bug report logs - #10960
linum-mode does not work properly when changing font size

Previous Next

Full log

Message #49 received at 10960 <at> debbugs.gnu.org (full text, mbox):

From: Juanma Barranquero <lekktu <at> gmail.com>
To: Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: Eli Zaretskii <eliz <at> gnu.org>, 10960 <at> debbugs.gnu.org, l26wang <at> gmail.com
Subject: Re: bug#10960: linum-mode does not work properly when changing font
	size
Date: Sun, 11 Mar 2012 17:01:02 +0100

On Sat, Mar 10, 2012 at 19:28, Stefan Monnier <monnier <at> iro.umontreal.ca> wrote:

> We need some more general way to
> adjust the size of the margin to the size of the images&text displayed
> there, so as to handle non-default faces, proportional text, ...

OK, but that's a long way from your earlier answer in bug#1255: "So,
yes, the problem lies somewhat in linum-mode which should resize the
margin accordingly, tho it's far from easy for it to do so (and it can
only do it in increments of the base default font size)." We need a
way to adjust the size of the margin, but linum-mode et al. should do
nothing more** that set a margin width (in character cells); any
subsequent width change should be transparent for it/them.

**In fact, I don't see a way for two packages to coordinate uses of
the margin (let's suppose I write a package which uses the margin to
mark bookmarked places and I also want to use linum in the same
buffer); but that's unrelated to margin auto-resizing.

    Juanma

Previous Next

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