[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.
Stefan
- font-lock-delimiter-face - what for?, Dmitry Gutov, 2022/12/27
- Re: font-lock-delimiter-face - what for?, Randy Taylor, 2022/12/27
- Re: font-lock-delimiter-face - what for?, Dmitry Gutov, 2022/12/27
- Re: font-lock-delimiter-face - what for?, Randy Taylor, 2022/12/27
- Re: font-lock-delimiter-face - what for?, Dmitry Gutov, 2022/12/27
- Re: font-lock-delimiter-face - what for?,
Stefan Monnier <=
- Re: font-lock-delimiter-face - what for?, Dmitry Gutov, 2022/12/27
- Re: font-lock-delimiter-face - what for?, Dmitry Gutov, 2022/12/28
- Re: font-lock-delimiter-face - what for?, Randy Taylor, 2022/12/28
- Re: font-lock-delimiter-face - what for?, Dmitry Gutov, 2022/12/28
- Re: font-lock-delimiter-face - what for?, Randy Taylor, 2022/12/28
- Re: font-lock-delimiter-face - what for?, Dmitry Gutov, 2022/12/29
- Re: font-lock-delimiter-face - what for?, Randy Taylor, 2022/12/29
- Re: font-lock-delimiter-face - what for?, Yuan Fu, 2022/12/29
Re: font-lock-delimiter-face - what for?, Eli Zaretskii, 2022/12/27