|
From: | Dmitry Gutov |
Subject: | Re: font-lock-delimiter-face - what for? |
Date: | Wed, 28 Dec 2022 17:13:49 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.4.2 |
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:Oh... kay? So "misc punctuation" is punctuation which is not punctuation?font-lock-punctuation-face covers all punctuation.The rest (bracket, delimiter, misc-punctuation) are for the more specifickinds, with misc-punctuation being anything not a bracket or delimiter. For example, see bash-ts-mode which specifies $ as misc-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.
[Prev in Thread] | Current Thread | [Next in Thread] |