[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Disable tree-sitter font-locking for smaller ranges
From: |
Yuan Fu |
Subject: |
Re: Disable tree-sitter font-locking for smaller ranges |
Date: |
Tue, 18 Oct 2022 13:44:48 -0700 |
> On Oct 18, 2022, at 1:07 PM, Theodor Thornhill <theo@thornhill.no> wrote:
>
> Theodor Thornhill <theo@thornhill.no> writes:
>> The separate variables was more for readability, but I can change that back
>> :)
>
>
> Something like this?
>
> Theo
>
> <0001-Add-more-granular-features-in-font-locking.patch>
Merged and pushed, thanks!
Yuan
- Re: Disable tree-sitter font-locking for smaller ranges, (continued)
- Re: Disable tree-sitter font-locking for smaller ranges, Yuan Fu, 2022/10/17
- Re: Disable tree-sitter font-locking for smaller ranges, Theodor Thornhill, 2022/10/17
- Re: Disable tree-sitter font-locking for smaller ranges, Yuan Fu, 2022/10/17
- Re: Disable tree-sitter font-locking for smaller ranges, Theodor Thornhill, 2022/10/17
- Re: Disable tree-sitter font-locking for smaller ranges, Yuan Fu, 2022/10/17
- Re: Disable tree-sitter font-locking for smaller ranges, Theodor Thornhill, 2022/10/17
- Re: Disable tree-sitter font-locking for smaller ranges, Theodor Thornhill, 2022/10/17
- Re: Disable tree-sitter font-locking for smaller ranges, Yuan Fu, 2022/10/17
- Re: Disable tree-sitter font-locking for smaller ranges, Theodor Thornhill, 2022/10/18
- Re: Disable tree-sitter font-locking for smaller ranges, Theodor Thornhill, 2022/10/18
- Re: Disable tree-sitter font-locking for smaller ranges,
Yuan Fu <=
- Re: Disable tree-sitter font-locking for smaller ranges, Yuan Fu, 2022/10/18
- Re: Disable tree-sitter font-locking for smaller ranges, Trey Peacock, 2022/10/17