[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Native display of line numbers, improved
From: |
Stephen Berman |
Subject: |
Re: Native display of line numbers, improved |
Date: |
Sun, 25 Jun 2017 21:00:23 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) |
On Sun, 25 Jun 2017 19:02:54 +0300 Eli Zaretskii <address@hidden> wrote:
>> From: Stephen Berman <address@hidden>
>> Cc: address@hidden
>> Date: Sun, 25 Jun 2017 17:41:38 +0200
>>
>> > This shows your face inherits from font-lock-comment-face. It should
>> > inherit from line-number instead. Or from the default face. When I
>> > do one of those, the scaling works as you expected.
>>
>> Got it, thanks. Is this documented?
>
> Probably not. And I'm not really sure how to document this in a way
> that's useful.
>
> In a nutshell, support for face remapping needs to be explicitly coded
> where we want it, and AFAIK we only coded that in a few places which
> were reported as bugs. The fact that the face needs to inherit from
> 'default' is something I know only from personal experience. In
> particular, Customize somehow tends to break face remapping, unless
> the inheritance keeps it from doing that. Maybe someone who knows
> more about faces and their customizations could chime in.
I hope so. It would be helpful to have clear guidelines, since faces
are probably one of the most frequently customized features in Emacs.
Steve Berman
- Native display of line numbers, improved, Eli Zaretskii, 2017/06/24
- Re: Native display of line numbers, improved, Clément Pit-Claudel, 2017/06/24
- Re: Native display of line numbers, improved, Stephen Berman, 2017/06/24
- Re: Native display of line numbers, improved, Eli Zaretskii, 2017/06/25
- Re: Native display of line numbers, improved, Stephen Berman, 2017/06/25
- Re: Native display of line numbers, improved, Eli Zaretskii, 2017/06/25
- Re: Native display of line numbers, improved, Stephen Berman, 2017/06/25
- Re: Native display of line numbers, improved, Eli Zaretskii, 2017/06/25
- Re: Native display of line numbers, improved,
Stephen Berman <=
Re: Native display of line numbers, improved, Stephen Berman, 2017/06/24
Re: Native display of line numbers, improved, martin rudalics, 2017/06/25
Re: Native display of line numbers, improved, Alex, 2017/06/25