[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Turing on tree-sitter
From: |
Lars Ingebrigtsen |
Subject: |
Re: Turing on tree-sitter |
Date: |
Mon, 10 Oct 2022 08:59:09 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
> But we could also have a global "turn on tree-sitter support in every
> mode that has it" option, which will turn this on for those modes
> which can be supported by tree-sitter, if the appropriate
> language-support library is installed.
Yes, a user option that's a (derived-)mode predicate would be nice for
this.
- Re: Call for volunteers: add tree-sitter support to major modes, (continued)
Re: Call for volunteers: add tree-sitter support to major modes, Eli Zaretskii, 2022/10/09
- Re: Turing on tree-sitter (was: Call for volunteers: add tree-sitter support to major modes), Eli Zaretskii, 2022/10/10
- Re: Turing on tree-sitter (was: Call for volunteers: add tree-sitter support to major modes), Theodor Thornhill, 2022/10/10
- Re: Turing on tree-sitter (was: Call for volunteers: add tree-sitter support to major modes), Yuan Fu, 2022/10/10
- Re: Turing on tree-sitter, Philip Kaludercic, 2022/10/10
- Re: Turing on tree-sitter, Eli Zaretskii, 2022/10/10
Re: Turing on tree-sitter (was: Call for volunteers: add tree-sitter support to major modes), Eli Zaretskii, 2022/10/10
Re: Turing on tree-sitter (was: Call for volunteers: add tree-sitter support to major modes), Eli Zaretskii, 2022/10/10
Re: Turing on tree-sitter,
Lars Ingebrigtsen <=
Re: Call for volunteers: add tree-sitter support to major modes, Brian, 2022/10/09
- Re: Call for volunteers: add tree-sitter support to major modes, Eli Zaretskii, 2022/10/09
- Re: Call for volunteers: add tree-sitter support to major modes, Brian, 2022/10/09
- Re: Call for volunteers: add tree-sitter support to major modes, Eli Zaretskii, 2022/10/09
- Re: Call for volunteers: add tree-sitter support to major modes, Brian, 2022/10/09
- Re: Call for volunteers: add tree-sitter support to major modes, Eli Zaretskii, 2022/10/09
- Re: Call for volunteers: add tree-sitter support to major modes, Yuan Fu, 2022/10/09
- Re: Call for volunteers: add tree-sitter support to major modes, Brian, 2022/10/10
- Re: Call for volunteers: add tree-sitter support to major modes, Po Lu, 2022/10/10
- Re: Call for volunteers: add tree-sitter support to major modes, Brian, 2022/10/10