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

[Randy Taylor]

On Wednesday, December 28th, 2022 at 10:13, Dmitry Gutov <dgutov@yandex.ru> 
wrote:
> 
> 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.

Then we should get rid of font-lock-punctuation-face instead. If we keep it and 
use it in place of misc-punctuation, then changing punctuation-face would also 
change the bracket and delimiter faces, since they inherit from it. 
font-lock-punctuation-face wouldn't be a great name either since it's no longer 
referring to all punctuation (which is its current goal, and the docstring can 
always be updated).

I'm indifferent either way.