[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#10960: linum-mode does not work properly when changing font size
From: |
Eli Zaretskii |
Subject: |
bug#10960: linum-mode does not work properly when changing font size |
Date: |
Sat, 10 Mar 2012 23:50:12 +0200 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Eli Zaretskii <eliz@gnu.org>, 10960@debbugs.gnu.org, l26wang@gmail.com
> Date: Sat, 10 Mar 2012 13:28:52 -0500
>
> > The problem with that answer is that it is maximally unhelpful. Every
> > package that wants to use the margin will have to be defensively coded
> > against text-scale-*.
>
> You mean, that text-scale-* makes the problem more common significant?
> Maybe so, yes. But I don't think that just special-handling
> text-scale-* would be a good solution.
Special-casing it was not what I had in mind.
> 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, ...
It all boils down to calculating the size of the margins in pixels.
The key to that is window_box_width, which uses
WINDOW_FRAME_COLUMN_WIDTH to convert columns into pixels, and
WINDOW_FRAME_COLUMN_WIDTH returns the "canonical" width of a column,
which is an average width of the default face's font.
So all it takes is to make that calculation aware of face remapping,
images displayed in the margin, etc.
- bug#10960: linum-mode does not work properly when changing font size, Le Wang, 2012/03/06
- bug#10960: linum-mode does not work properly when changing font size, Glenn Morris, 2012/03/06
- bug#10960: linum-mode does not work properly when changing font size, Eli Zaretskii, 2012/03/06
- bug#10960: linum-mode does not work properly when changing font size, Juanma Barranquero, 2012/03/06
- bug#10960: linum-mode does not work properly when changing font size, Eli Zaretskii, 2012/03/10
- bug#10960: linum-mode does not work properly when changing font size, Stefan Monnier, 2012/03/10
- bug#10960: linum-mode does not work properly when changing font size, Eli Zaretskii, 2012/03/10
- bug#10960: linum-mode does not work properly when changing font size, Juanma Barranquero, 2012/03/10
- bug#10960: linum-mode does not work properly when changing font size, Eli Zaretskii, 2012/03/10
- bug#10960: linum-mode does not work properly when changing font size, Stefan Monnier, 2012/03/10
- bug#10960: linum-mode does not work properly when changing font size,
Eli Zaretskii <=
- bug#10960: linum-mode does not work properly when changing font size, Stefan Monnier, 2012/03/10
- bug#10960: linum-mode does not work properly when changing font size, Eli Zaretskii, 2012/03/10
- bug#10960: linum-mode does not work properly when changing font size, Stefan Monnier, 2012/03/11
- bug#10960: linum-mode does not work properly when changing font size, Eli Zaretskii, 2012/03/11
- bug#10960: linum-mode does not work properly when changing font size, Stefan Monnier, 2012/03/11
- bug#10960: linum-mode does not work properly when changing font size, Eli Zaretskii, 2012/03/13
- bug#10960: linum-mode does not work properly when changing font size, Juanma Barranquero, 2012/03/11