[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: More font-lock faces for tree-sitter
From: |
Eli Zaretskii |
Subject: |
Re: More font-lock faces for tree-sitter |
Date: |
Fri, 28 Oct 2022 18:29:34 +0300 |
> From: Stefan Kangas <stefankangas@gmail.com>
> Date: Fri, 28 Oct 2022 08:10:31 -0700
>
> For example, is there any benefit to adding `font-lock-number-face'?
> I don't think I've seen many language modes doing that so far. Is there
> a high demand for it? Is there a big benefit? Personally, I don't feel
> confident answering that.
Other IDEs do provide this, AFAIR.
> Adding a face, especially a default one, is an implicit invitation to
> theme developers to use it. If we add too many faces, we risk, in the
> worst case, seeing a proliferation of angry fruit salad.
That's where fontification levels should come in to give users control
on how angry their salad is.