[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fwd: Flymake and the 'face' property
From: |
Eli Zaretskii |
Subject: |
Re: Fwd: Flymake and the 'face' property |
Date: |
Thu, 31 Jan 2019 05:38:51 +0200 |
> From: Stefan Monnier <address@hidden>
> Cc: address@hidden
> Date: Wed, 30 Jan 2019 15:56:30 -0500
>
> > So I see no reason to waste any more energy on this.
>
> Please don't then. Other people may be motivated by these kinds of
> "unproductive" changes and I see no reason to discourage them.
I don't want us to make changes for the sake of changes in a corner
issue that touches on the display code. That's from POV a good reason
to discourage people from making such changes.
- Re: Fwd: Flymake and the 'face' property, (continued)
- Re: Fwd: Flymake and the 'face' property, João Távora, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, Eli Zaretskii, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, João Távora, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, Eli Zaretskii, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, João Távora, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, Stefan Monnier, 2019/01/30
- Re: Fwd: Flymake and the 'face' property, Eli Zaretskii, 2019/01/30
- Re: Fwd: Flymake and the 'face' property, João Távora, 2019/01/30
- Re: Fwd: Flymake and the 'face' property, Eli Zaretskii, 2019/01/30
- Re: Fwd: Flymake and the 'face' property, Stefan Monnier, 2019/01/30
- Re: Fwd: Flymake and the 'face' property,
Eli Zaretskii <=
- Re: Fwd: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), Daniel Colascione, 2019/01/29