Re: [External] : Re: master 5c70ff9: New user option 'font-lock-ignore'

[Augusto Stoffel]

On Sat,  2 Apr 2022 at 15:28, Drew Adams <drew.adams@oracle.com> wrote:

> [I haven't found the beginning of this thread,
> even by searching the mailing list archive...]
>
> FWIW, I proposed a related feature back in 2007,
> and again in 2014 (both here and with a patch in
> bug #18367 - see links below).
>
> It lets you use text-property `font-lock-ignore'
> (same name - surprise! ;-)) to make font-lock
> ignore text with that property - "Hands off!".

>From what I can tell this is only vaguely related.  The
'font-lock-ignore' user option is really meant for the end-user, and it
allows to remove some fontification rules that might hurt his or her
sensibilities.