[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 09:30:38 +0300 |
> From: Nicolas Petton <address@hidden>
> Cc: address@hidden
> Date: Thu, 13 Jul 2017 22:18:20 +0200
>
> I think that the least surprising behavior would be to use the same
> fixed width font family for line numbers and for buffer content by
> default.
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.
- 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 <=
- 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, 2017/07/14
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