[Top][All Lists]

[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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]