unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Stephen Berman <stephen.berman@gmx.net>
To: Eli Zaretskii <eliz@gnu.org>
Cc: Juri Linkov <juri@linkov.net>,
	 dmitry@gutov.dev, johan.myreen@gmail.com,  emacs-devel@gnu.org
Subject: Re: Turning on/off tree-sitter modes
Date: Sun, 24 Nov 2024 11:23:08 +0100	[thread overview]
Message-ID: <87y1190w37.fsf@gmx.net> (raw)
In-Reply-To: <865xodlr7t.fsf@gnu.org> (Eli Zaretskii's message of "Sat, 23 Nov 2024 20:50:30 +0200")

On Sat, 23 Nov 2024 20:50:30 +0200 Eli Zaretskii <eliz@gnu.org> wrote:

>> From: Juri Linkov <juri@linkov.net>
>> Cc: Eli Zaretskii <eliz@gnu.org>,  johan.myreen@gmail.com,  emacs-devel@gnu.org
>> Recently Philip rightly noticed that 'major-mode-remap-alist'
>> would be sufficient.  And indeed, such a command could be implemented
>> just as
>> 
>>   (defun treesit-add-enabled-mode (non-ts-mode ts-mode)
>>     (setopt major-mode-remap-alist
>>             (cons (cons non-ts-mode ts-mode)
>>                   major-mode-remap-alist)))
>
> But is it okay to have a command modify a user option?  Do we have
> examples of this anywhere else?

One example (admittedly having a much narrower scope than the
tree-sitter case) is `todo-top-priorities-overrides' in todo-mode.el.
Here's its doc string:

  List of rules specifying number of top priority items to show.
  These rules override ‘todo-top-priorities’ on invocations of
  M-x todo-filter-top-priorities and
  M-x todo-filter-top-priorities-multifile.  Each rule is a list
  of the form (FILE NUM ALIST), where FILE is a member of
  ‘todo-files’, NUM is a number specifying the default number of
  top priority items for each category in that file, and ALIST,
  when non-nil, consists of conses of a category name in FILE and a
  number specifying the default number of top priority items in
  that category, which overrides NUM.
  
  This variable should be set interactively by
  M-x todo-set-top-priorities-in-file or
  M-x todo-set-top-priorities-in-category.

Steve Berman



  parent reply	other threads:[~2024-11-24 10:23 UTC|newest]

Thread overview: 141+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-10-06  7:32 An anonymous IRC user's opinion Abraham S.A.H. via Emacs development discussions.
2024-10-06  8:10 ` Emanuel Berg
2024-10-06  8:44 ` Dr. Arne Babenhauserheide
2024-10-06  9:01   ` Emanuel Berg
2024-10-06  9:09   ` Emanuel Berg
2024-10-06  9:32   ` Abraham S.A.H. via Emacs development discussions.
2024-10-06 11:28     ` Dr. Arne Babenhauserheide
2024-10-06 13:10       ` Emanuel Berg
2024-10-06 12:55     ` Emanuel Berg
2024-10-09  3:29       ` Richard Stallman
2024-10-09 20:20         ` Emanuel Berg
2024-10-10  8:57           ` Dr. Arne Babenhauserheide
2024-10-09  3:30   ` Richard Stallman
2024-10-09  6:48     ` Dr. Arne Babenhauserheide
2024-10-09 20:22       ` Emanuel Berg
2024-10-09 11:09     ` Johan Myréen
2024-10-09 13:13       ` Eli Zaretskii
2024-10-09 13:38         ` tomas
2024-10-09 16:02         ` Dr. Arne Babenhauserheide
2024-10-09 16:22           ` Eli Zaretskii
2024-10-09 21:55           ` Emanuel Berg
2024-10-10  7:25             ` Eli Zaretskii
2024-10-10  9:35               ` Dr. Arne Babenhauserheide
2024-10-10 10:42                 ` Eli Zaretskii
2024-10-13  3:29               ` Richard Stallman
2024-10-10  6:07           ` Emanuel Berg
2024-10-09 16:06         ` Johan Myréen
2024-10-09 16:12           ` Ship Mints
2024-10-09 16:25           ` Eli Zaretskii
2024-10-09 21:25         ` Dmitry Gutov
2024-10-10  4:56           ` Eli Zaretskii
2024-10-10  5:14             ` Xiyue Deng
2024-10-10  6:36               ` Eli Zaretskii
2024-10-10  6:59                 ` Xiyue Deng
2024-10-11 20:30             ` Dmitry Gutov
2024-10-12  7:34               ` Eli Zaretskii
2024-10-12 20:27                 ` Dmitry Gutov
2024-10-12 21:00                   ` Dr. Arne Babenhauserheide
2024-10-13  4:53                     ` Eli Zaretskii
2024-10-13  6:28                       ` Dr. Arne Babenhauserheide
2024-10-13  4:41                   ` Eli Zaretskii
2024-10-13  9:37                     ` Dmitry Gutov
2024-10-13 10:39                       ` Eli Zaretskii
2024-10-13 15:31                         ` Dmitry Gutov
2024-10-13 15:53                           ` Eli Zaretskii
2024-10-14  9:32                             ` Dmitry Gutov
2024-10-14 11:09                               ` Alan Mackenzie
2024-10-15  1:41                                 ` Dmitry Gutov
2024-10-14 14:16                               ` Eli Zaretskii
2024-10-15  1:36                                 ` Dmitry Gutov
2024-10-15 12:03                                   ` Eli Zaretskii
2024-11-03  3:10                                     ` Dmitry Gutov
2024-11-03  6:37                                       ` Eli Zaretskii
2024-11-03 19:24                                         ` Dmitry Gutov
2024-11-04 12:04                                           ` Eli Zaretskii
2024-11-04 12:11                                           ` Eli Zaretskii
2024-11-04 17:41                                             ` Dmitry Gutov
2024-11-04 19:18                                               ` Eli Zaretskii
2024-11-04 20:59                                                 ` Dmitry Gutov
2024-11-05 12:11                                                   ` Eli Zaretskii
2024-11-05 17:05                                                     ` Dmitry Gutov
2024-11-05 17:28                                                       ` Eli Zaretskii
2024-11-05 19:40                                                         ` Dmitry Gutov
2024-11-05 19:53                                                           ` Eli Zaretskii
2024-11-05 20:59                                                             ` Dmitry Gutov
2024-11-06 12:15                                                               ` Eli Zaretskii
2024-11-06 12:46                                                                 ` Dmitry Gutov
2024-11-06 13:25                                                                   ` Eli Zaretskii
2024-11-06 16:07                                                                     ` Dmitry Gutov
2024-11-06 17:14                                                                       ` Eli Zaretskii
2024-11-19  2:44                                                                         ` Dmitry Gutov
2024-11-19 15:41                                                                           ` Eli Zaretskii
2024-11-19 16:13                                                                             ` Dmitry Gutov
2024-11-19 17:10                                                                               ` Eli Zaretskii
2024-11-19 17:40                                                                                 ` Dmitry Gutov
2024-11-19 17:47                                                                                   ` Eli Zaretskii
2024-11-19 17:56                                                                                     ` Dmitry Gutov
2024-11-19 19:01                                                                                       ` Eli Zaretskii
2024-11-19 20:12                                                                                         ` Dmitry Gutov
2024-11-20 12:59                                                                                           ` Eli Zaretskii
2024-11-20 18:38                                                                                             ` Dmitry Gutov
2024-11-20 19:01                                                                                               ` Eli Zaretskii
2024-11-20 19:23                                                                                                 ` Dmitry Gutov
2024-11-20 19:55                                                                                                   ` Eli Zaretskii
2024-11-20 19:57                                                                                                     ` Dmitry Gutov
2024-11-21  5:46                                                                                                       ` Eli Zaretskii
2024-11-21 19:47                                                                                                         ` Dmitry Gutov
2024-11-21 20:03                                                                                                           ` Eli Zaretskii
2024-11-21 20:11                                                                                                             ` Dmitry Gutov
2024-11-21 20:24                                                                                                               ` Eli Zaretskii
2024-11-21 20:56                                                                                                                 ` Dmitry Gutov
2024-11-22  6:44                                                                                                                   ` Eli Zaretskii
2024-11-22 15:08                                                                                                                     ` Dmitry Gutov
2024-11-23 13:24                                                                                                                       ` Turning on/off tree-sitter modes (was: An anonymous IRC user's opinion) Eli Zaretskii
2024-11-23 16:26                                                                                                                         ` Turning on/off tree-sitter modes Dmitry Gutov
2024-11-23 16:36                                                                                                                           ` Eli Zaretskii
2024-11-24  2:40                                                                                                                             ` Dmitry Gutov
2024-11-24 13:59                                                                                                                             ` Steinar Bang
2024-11-23 17:51                                                                                                                           ` Juri Linkov
2024-11-23 18:50                                                                                                                             ` Eli Zaretskii
2024-11-23 19:23                                                                                                                               ` Juri Linkov
2024-11-24  2:21                                                                                                                                 ` Dmitry Gutov
2024-11-24 15:28                                                                                                                                   ` Stefan Monnier
2024-11-24  5:32                                                                                                                               ` Commands that change user options? [was: Turning on/off tree-sitter modes] Drew Adams
2024-11-24 10:23                                                                                                                               ` Stephen Berman [this message]
2024-11-24  2:29                                                                                                                             ` Turning on/off tree-sitter modes Dmitry Gutov
2024-11-24  7:29                                                                                                                               ` Juri Linkov
2024-11-24  8:06                                                                                                                                 ` Eli Zaretskii
2024-11-24 17:29                                                                                                                                   ` Juri Linkov
2024-11-24 18:56                                                                                                                                     ` Eli Zaretskii
2024-11-25  0:44                                                                                                                                       ` Dmitry Gutov
2024-11-25  7:24                                                                                                                                         ` Juri Linkov
2024-11-25 12:09                                                                                                                                         ` Eli Zaretskii
2024-11-19 17:59                                                                           ` An anonymous IRC user's opinion Juri Linkov
2024-11-19 19:52                                                                             ` Dmitry Gutov
2024-11-20 16:47                                                                             ` Philip Kaludercic
2024-11-20 17:36                                                                               ` Juri Linkov
2024-11-20 18:07                                                                               ` Dmitry Gutov
2024-11-05 13:21                                                 ` Dr. Arne Babenhauserheide
2024-11-05 13:47                                                   ` Eli Zaretskii
2024-11-05 16:52                                                     ` Dr. Arne Babenhauserheide
2024-11-05 17:22                                                       ` Eli Zaretskii
2024-11-05 17:49                                                         ` Philip Kaludercic
2024-11-05 19:23                                                           ` Dr. Arne Babenhauserheide
2024-11-06  0:09                                                             ` Philip Kaludercic
2024-11-06  9:35                                                               ` Dr. Arne Babenhauserheide
2024-11-06  9:59                                                                 ` Philip Kaludercic
2024-11-07 14:16                                                                 ` Automatic Suggestion of Packages Philip Kaludercic
2024-11-07 16:07                                                                   ` Visuwesh
2024-11-07 21:50                                                                     ` Philip Kaludercic
2024-11-08  4:15                                                                       ` Visuwesh
2024-11-08  4:29                                                                         ` Visuwesh
2024-11-08 14:02                                                                         ` Philip Kaludercic
2024-11-08 15:44                                                                           ` Visuwesh
2024-11-08 16:23                                                                             ` Philip Kaludercic
2024-11-11 20:07                                                                   ` Mekeor Melire
2024-11-12  3:00                                                                     ` Philip Kaludercic
2024-10-13 10:52                       ` An anonymous IRC user's opinion Dr. Arne Babenhauserheide
2024-10-10 13:58     ` Richard Stallman
2024-10-10 14:45       ` Dr. Arne Babenhauserheide
2024-10-12  3:19         ` Richard Stallman

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87y1190w37.fsf@gmx.net \
    --to=stephen.berman@gmx.net \
    --cc=dmitry@gutov.dev \
    --cc=eliz@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=johan.myreen@gmail.com \
    --cc=juri@linkov.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).