[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Native line numbers, final testing
From: |
James Cloos |
Subject: |
Re: Native line numbers, final testing |
Date: |
Mon, 10 Jul 2017 01:35:12 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) |
>>>>> "EZ" == Eli Zaretskii <address@hidden> writes:
EZ> The doc string for the 'line-number' face explicitly tells to use
EZ> fixed-pitch font for the face.
I hadn't gotten that far; I only called M-x set-variable in a buffer
which was already in variable-pitch-mode, and then toggled v-p-m a
couple of time to compare w/ and w/o. I hadn't gone looking for the
name of the face used by the line numbers.
I'd also -- until this thread reminded me -- forgotten about fonts which
do not have fixed width numerals by default. It had been some time since
I last dealt with the four options for digits (proportional vs fixed on
one axis, and fixed-height vs oldstyle on the other).
Perhaps what I should have written is that the default face for line-
number should not be affected by enabling variable-pitch-mode.
But I think I've already gotten used to the variable width line numbers.
>> The code might need to check whether the current face provides a glyph
>> for FIGURE SPACE.
EZ> And if not?
Then it would have had to ignore FIGURE SPACE and fall back to SPACE...
-JimC
--
James Cloos <address@hidden> OpenPGP: 0x997A9F17ED7DAEA6
- Re: Native line numbers, final testing, (continued)
- Re: Native line numbers, final testing, Alex, 2017/07/06
- Re: Native line numbers, final testing, Eli Zaretskii, 2017/07/07
- Re: Native line numbers, final testing, Eli Zaretskii, 2017/07/07
- Re: Native line numbers, final testing, Alex, 2017/07/08
- Re: Native line numbers, final testing, James Cloos, 2017/07/09
- Re: Native line numbers, final testing, Yuri Khan, 2017/07/09
- Re: Native line numbers, final testing, Eli Zaretskii, 2017/07/09
- Re: Native line numbers, final testing, Yuri Khan, 2017/07/10
- Re: Native line numbers, final testing, Eli Zaretskii, 2017/07/10
- Re: Native line numbers, final testing, Eli Zaretskii, 2017/07/09
- Re: Native line numbers, final testing,
James Cloos <=
- Re: Native line numbers, final testing, Eli Zaretskii, 2017/07/10
- Re: Native line numbers, final testing, Filipe Silva, 2017/07/10
- Re: Native line numbers, final testing, Eli Zaretskii, 2017/07/10
- Re: Native line numbers, final testing, Filipe Silva, 2017/07/10
- Re: Native line numbers, final testing, James Cloos, 2017/07/10
- Re: Native line numbers, final testing, Alex, 2017/07/11
- Re: Native line numbers, final testing, Filipe Silva, 2017/07/11
- Re: Native line numbers, final testing, Filipe Silva, 2017/07/11
- Re: Native line numbers, final testing, Alex, 2017/07/11
- Re: Native line numbers, final testing, Eli Zaretskii, 2017/07/11