[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: Sun, 03 Feb 2019 05:39:30 +0200

> From: Stefan Monnier <address@hidden>
> Cc: address@hidden
> Date: Sat, 02 Feb 2019 17:49:51 -0500
> >> 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.
> AFAIK we're more or less talking about replacing Qface with
> Qinternal_face_id at those places where it is relevant.

That'd be a backward-incompatible change.  We could _add_ the internal
property, though, keeping the 'face' one for now, then remove it in
the future.

reply via email to

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