[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: |
Thu, 10 Nov 2022 13:06:01 +0200 |
> From: Yuan Fu <casouri@gmail.com>
> Date: Wed, 9 Nov 2022 19:59:30 -0800
> Cc: Eli Zaretskii <eliz@gnu.org>,
> 58940@debbugs.gnu.org
>
> > Yuan, any further comments? If not, would you or someone else be able to
> > push the patch?
> >
> > Thanks.
>
> I don’t have much to say, since this is not really about tree-sitter. I’ll
> wait for other folks to decide & push ;-)
I installed it, thanks.
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, (continued)
- 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
- 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, Randy Taylor, 2022/11/09
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces, Yuan Fu, 2022/11/09
- bug#58940: [PATCH] feature/tree-sitter: Add more font lock faces,
Eli Zaretskii <=