[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: what has the face `message-separator' *really* done for us?
From: |
Damien Collard |
Subject: |
Re: what has the face `message-separator' *really* done for us? |
Date: |
Sun, 17 Mar 2019 22:15:03 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin) |
On Dim, mar 17 2019, Eric Abrahamsen wrote:
>> Well, it seems to only be of effect when `mail-header-separator` has its
>> default value "--text follows this line--". I checked, and
>>
>> - when it's the default separator, I can confirm that changing the face
>> `message-separator` does change the separator's color.
>>
>> - when I changed `mail-header-separator` to "---" (or anything different
>> from the default), the face `message-separator` doesn't apply to it
>> anymore!
>
> Have you tried restarting Emacs? The value of `mail-header-separator'
> gets written into `message-font-lock-keywords', which probably only gets
> updated when message.el is loaded for the first time.
I tried, and restarting Emacs does not make it work.
Going from a non-default `mail-header-separator` back to the default
does work (the face applies without the need to restart Emacs).
--
Damien Collard
- Re: what has the face `message-separator' *really* done for us?, (continued)
- Re: what has the face `message-separator' *really* done for us?, Damien Collard, 2019/03/17
- Re: what has the face `message-separator' *really* done for us?, Emanuel Berg, 2019/03/17
- Re: what has the face `message-separator' *really* done for us?, Emanuel Berg, 2019/03/17
- Re: what has the face `message-separator' *really* done for us?, Xavier Maillard, 2019/03/21
- Re: what has the face `message-separator' *really* done for us?, Emanuel Berg, 2019/03/21
- [OFFTOPIC] Re: what has the face `message-separator' *really* done for us?, Van L, 2019/03/26
- Re: [OFFTOPIC] Re: what has the face `message-separator' *really* done for us?, Emanuel Berg, 2019/03/26
- Re: [OFFTOPIC] Re: what has the face `message-separator' *really* done for us?, Van L, 2019/03/26
- Re: [OFFTOPIC] Re: what has the face `message-separator' *really* done for us?, Emanuel Berg, 2019/03/26
- Re: what has the face `message-separator' *really* done for us?, Eric Abrahamsen, 2019/03/17
- Re: what has the face `message-separator' *really* done for us?,
Damien Collard <=
- Re: what has the face `message-separator' *really* done for us?, Emanuel Berg, 2019/03/17