[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master d014a5e: Use fixed-pitch font for display-line-numbers
From: |
Eli Zaretskii |
Subject: |
Re: master d014a5e: Use fixed-pitch font for display-line-numbers |
Date: |
Fri, 14 Jul 2017 15:38:15 +0300 |
> From: Nicolas Petton <address@hidden>
> Cc: address@hidden, address@hidden
> Date: Fri, 14 Jul 2017 13:16:02 +0200
>
> > Fine. I've now reverted the change which triggered these discussions.
> > From now on, if someone has their default face set to use a
> > variable-pitch font, they will have to customize line-number face to
> > countermand that. (Or maybe someone else will come up with a better
> > solution.) Sorry, James: I tried.
>
> I didn't mean to make you revert this commit if you disagree, but rather
> to discuss and try to find the best way to do this.
I didn't mean to say that you meant that, just that your opinion was
the proverbial straw.
If someone comes up with a better way of doing this than what I found,
we can still make whatever changes that takes.
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Mark Oteiza, 2017/07/11
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/11
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Mark Oteiza, 2017/07/11
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/12
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Nicolas Petton, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/14
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, James Cloos, 2017/07/14
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Nicolas Petton, 2017/07/14
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers,
Eli Zaretskii <=
Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Yuri Khan, 2017/07/12
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/12
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Yuri Khan, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Yuri Khan, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Yuri Khan, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Eli Zaretskii, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Alex, 2017/07/13
- Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Alex, 2017/07/14