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

[Eli Zaretskii]

> From: Wolfgang Jenkner <wjenkner@inode.at>
> Cc: 18367@debbugs.gnu.org
> 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
.