[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#18367: 24.4.50; [PATCH] Text property `font-lock-ignore', to protect

From: Eli Zaretskii
Subject: bug#18367: 24.4.50; [PATCH] Text property `font-lock-ignore', to protect from font-lock
Date: Mon, 01 Sep 2014 23:04:27 +0300

> From: Wolfgang Jenkner <address@hidden>
> Cc: address@hidden
> Date: Mon, 01 Sep 2014 21:43:31 +0200
> > The "it" in that text alludes to font-lock-extra-managed-props, not to
> > font-lock-face.
> I don't think the "it" is a problem here.
> >  After all, the former is what is being documented in
> > the text you cited; the latter is just mentioned because
> > font-lock-face is another kind of specification of "additional"
> > properties of interest to Font Lock.
> But, `font-lock-face' is of no interest to
> font-lock-default-unfontify-region, the `face' property is.
> font-lock-default-unfontify-region does not remove the `font-lock-face'
> property, it removes the `face' property.
> font-lock-default-unfontify-region does not "manage" the
> `font-lock-face' property, it "manages" the `face' property.

The cited text says that font-lock-default-unfontify-region uses
font-lock-extra-managed-props.  That is all it says; all the rest is
just comments and references to related features

reply via email to

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