[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Make all tree-sitter modes optional
From: |
Eli Zaretskii |
Subject: |
Re: Make all tree-sitter modes optional |
Date: |
Wed, 15 Feb 2023 21:07:53 +0200 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Eli Zaretskii <eliz@gnu.org>, juri@linkov.net, casouri@gmail.com,
> larsi@gnus.org, theo@thornhill.no, jostein@secure.kjonigsen.net,
> emacs-devel@gnu.org
> Date: Wed, 15 Feb 2023 13:34:02 -0500
>
> > out again is unreasonably difficult. Even restarting Emacs (which to me
> > is a drastic operation) won't opt out if there are still buffers in
> > c-ts-mode in the desktop.
>
> Sounds like a bug, indeed.
> The `add-to-list` should not happen just because `c-ts-mode` is loaded.
> I think it should only happen if `c-ts-mode` is called explicitly
> (i.e. interactively).
>
> Maybe something like the patch below.
Sorry, no. The fact that add-to-list happens also when loading
c-ts-mode non-interactively is deliberate, so that users could
'require' or 'load' them in their init files. Less clean, maybe, but
more practical and easier to use.
- Re: Make all tree-sitter modes optional, (continued)
- Re: Make all tree-sitter modes optional, Dmitry Gutov, 2023/02/16
- Re: Make all tree-sitter modes optional, Theodor Thornhill, 2023/02/16
- Re: Make all tree-sitter modes optional, Dmitry Gutov, 2023/02/16
- Re: Make all tree-sitter modes optional, Theodor Thornhill, 2023/02/16
- Re: Make all tree-sitter modes optional, Lynn Winebarger, 2023/02/15
- Re: Make all tree-sitter modes optional, Stefan Monnier, 2023/02/15
- Re: Make all tree-sitter modes optional,
Eli Zaretskii <=
- Re: Make all tree-sitter modes optional, Stefan Monnier, 2023/02/15
- Re: Make all tree-sitter modes optional, Basil L. Contovounesios, 2023/02/15
- Re: Make all tree-sitter modes optional, Eli Zaretskii, 2023/02/16
- Re: Make all tree-sitter modes optional, Eli Zaretskii, 2023/02/15
- Re: Make all tree-sitter modes optional, Alan Mackenzie, 2023/02/15
- Re: Make all tree-sitter modes optional, tomas, 2023/02/16
- Re: Make all tree-sitter modes optional, Eli Zaretskii, 2023/02/16
- Re: Make all tree-sitter modes optional, Yuan Fu, 2023/02/16
- Message not available
- Re: Make all tree-sitter modes optional, Eli Zaretskii, 2023/02/15
- Message not available
- Re: Make all tree-sitter modes optional, Eli Zaretskii, 2023/02/16