[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces
From: |
Eli Zaretskii |
Subject: |
bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces |
Date: |
Wed, 02 Nov 2022 14:27:01 +0200 |
> Cc: 58940@debbugs.gnu.org
> Date: Wed, 02 Nov 2022 02:04:12 +0000
> From: Randy Taylor <dev@rjt.dev>
>
> I'm wondering if we want to separate out the punctuation as follows:
> - font-lock-punctuation-delimiter-face
> - font-lock-punctuation-bracket-face
> - font-lock-punctuation-special-face for any punctuation that doesn't
> fit in the aforementioned categories.
The names are too wordy, IMO. If we want the above, I suggest
font-lock-delimiter-face
font-lock-bracket-face
font-lock-misc-punctuation-face
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Dmitry Gutov, 2022/11/01
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Randy Taylor, 2022/11/01
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces,
Eli Zaretskii <=
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Randy Taylor, 2022/11/04
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Eli Zaretskii, 2022/11/05
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Randy Taylor, 2022/11/05
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Eli Zaretskii, 2022/11/06
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Stefan Monnier, 2022/11/06
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Randy Taylor, 2022/11/06
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Stefan Kangas, 2022/11/06
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Stefan Monnier, 2022/11/06
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Eli Zaretskii, 2022/11/06
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Eli Zaretskii, 2022/11/06