[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 21:08:54 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin) |
On Dim, mar 17 2019, Emanuel Berg wrote:
> I have only one more question for you before
> I submit the bug, how the <beep> did you ever
> suspect it to work for one variable value, but
> not for another?
That was a difference between your settings and mine that stood out.
> Computers aren't like that!
I haven't looked, but maybe there's a regexp somewhere expecting the
default value. Or something more convoluted :-)
--
Damien Collard
- what has the face `message-separator' *really* done for us?, Emanuel Berg, 2019/03/16
- Re: what has the face `message-separator' *really* done for us?, Damien Collard, 2019/03/16
- Re: what has the face `message-separator' *really* done for us?, Emanuel Berg, 2019/03/16
- 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?, 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?,
Damien Collard <=
- 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, 2019/03/17