[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Stefan Monnier
Subject: Re: font-lock-delimiter-face - what for?
Date: Tue, 27 Dec 2022 16:01:16 -0500
User-agent: Gnus/5.13 (Gnus v5.13)

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]