[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 11:59:26 +0200 |
Ping! Stefan, could you please explain your response?
> Date: Tue, 06 Mar 2012 20:11:43 +0200
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: 10960@debbugs.gnu.org, l26wang@gmail.com
>
> > From: Glenn Morris <rgm@gnu.org>
> > Date: Tue, 06 Mar 2012 12:07:37 -0500
> > Cc: 10960@debbugs.gnu.org
> >
> > Le Wang wrote:
> >
> > > Here is the stackoverflow question:
> > >
> > > http://stackoverflow.com/questions/9304192/emacs-linum-mode-and-size-of-font-unreadable-line-numbers
> >
> > Here is the existing Emacs report
> >
> > http://debbugs.gnu.org/cgi/bugreport.cgi?bug=1255
>
> I don't understand Stefan's response in that bug: what effect exactly
> are text-scale-* functions supposed to produce? Should the text in
> the margins be enlarged to the same size as the text in the "text
> area" of the window, or should the text in the margins retain its
> original size?
>
> And whichever of these two is TRT, why is this considered to be a
> problem in linum-mode, and not in the infrastructure (a.k.a. the
> display engine)?
>
>
>
>
- 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 <=
- 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, 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, Stefan Monnier, 2012/03/11
- bug#10960: linum-mode does not work properly when changing font size, Eli Zaretskii, 2012/03/11