Re: font-lock-delimiter-face - what for?

[Dmitry Gutov]

On 27/12/2022 23:34, Dmitry Gutov wrote:
> On 27/12/2022 23:01, Stefan Monnier wrote:
> > Dmitry Gutov [2022-12-27 21:45:33] wrote:
> > > On 27/12/2022 20:20, Randy Taylor wrote:
> > > > font-lock-punctuation-face covers all punctuation.
> > > > The rest (bracket, delimiter, misc-punctuation) are for the more 
> > > > specific
> > > > kinds, with misc-punctuation being anything not a bracket or
> > > > delimiter. For example, see bash-ts-mode which specifies $ as
> > > > misc-punctuation.
> > > Oh... kay? So "misc punctuation" is punctuation which is not 
> > > punctuation?
> > IIUC `font-lock-punctuation-face` is a "parent face" for all forms of
> > punctuation, and then each actual punctuation is expected to use either
> > the delimiter, bracket, or misc face.
>
> Ah. That would make sense.

Maybe it would be better to remove font-lock-misc-punctuation-face, though?

People can still use font-lock-punctuation-face for everything 
punctuation-like that doesn't match the category of "brackets" or 
"delimiters".

Just like font-lock-doc-face inherits from font-lock-string-face, or 
font-lock-comment-delimiter-face inherits from font-lock-comment-face.

We don't seem to have a practice of "parent faces" which are otherwise 
unused. font-lock-punctuation-face's docstring doesn't suggest this kind 
of purpose either.