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