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

[Augusto Stoffel]

On Sat,  2 Apr 2022 at 14:58, Eli Zaretskii <eliz@gnu.org> wrote:

>> Strictly speaking the docstring of 'font-lock-ignore' provides a
>> complete specification of the mini-language; if not, it's a bug in the
>> docstring.
>
> So you want to support only the "*" wildcard and nothing else?

Let's support all POSIX wildcards, since we have an implementation for
that at hand.  I think the docstring is complete, if terse:

   - A symbol, say a face name.  It matches any font-lock keyword
     containing the symbol in its definition.  The symbol is
     interpreted as a glob pattern; in particular, ‘*’ matches
     everything.

>> I certainly agree that font-lock.el's use of "font-lock keyword" as a
>> term for "rules for fontification" is a bit odd.  OTOH it's an
>> established use.
>
> That's a historic accident, AFAICT: originally we didn't support there
> anything but keywords.

I don't know the history but that's what I have been presuming.  I don't
have a strong opinion about whether the historic accident can or should
be corrected at this point.