[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master d014a5e: Use fixed-pitch font for display-line-numbers
From: |
Nicolas Petton |
Subject: |
Re: master d014a5e: Use fixed-pitch font for display-line-numbers |
Date: |
Thu, 13 Jul 2017 22:18:20 +0200 |
Eli Zaretskii <address@hidden> writes:
> That's indeed the dilemma here: on the one hand this makes it easier
> to change several faces, but OTOH the change must also satisfy the
> requirements and user expectations of each of the inheriting faces. I
> don't know which of these is more important.
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.
Nico
signature.asc
Description: PGP signature
- 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 <=
- 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, 2017/07/14
Re: master d014a5e: Use fixed-pitch font for display-line-numbers, Yuri Khan, 2017/07/12