[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: Sat, 02 Feb 2019 12:12:01 +0200

> From: Stefan Monnier <address@hidden>
> Cc: address@hidden
> Date: Sat, 02 Feb 2019 03:23:09 -0500
> > 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.
> It should be a very cosmetic change, basically search&replace with the
> only trick being in making sure we touch all places needed and
> only them.

I don't think I understand what replacement would you like to make.
Please elaborate.

reply via email to

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