GNU bug report logs - #72624
31.0.50; minor-mode-overriding-map-alist doesn't have higher priority than local map, which differs from docs

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 72624 in the body.
You can then email your comments to 72624 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: mr.meowking <at> tutamail.com
To: Bug Gnu Emacs <bug-gnu-emacs <at> gnu.org>
Subject: 31.0.50; minor-mode-overriding-map-alist doesn't have higher
 priority than local map, which differs from docs
Date: Wed, 14 Aug 2024 17:45:03 +0200 (CEST)

NOTE: please view
https://codeberg.org/meow_king/typst-ts-mode/issues/6#issuecomment-2174390
for rendered markdown view.

According to docs `(elisp) Active Keymaps` :

> Emacs contains many keymaps, but at any time only a few keymaps are
“active”.  When Emacs receives user input, it translates the input event
(*note Translation Keymaps::), and looks for a key binding in the active
keymaps.
>
>   Usually, the active keymaps are: (i) the keymap specified by the
‘keymap’ property, (ii) the keymaps of enabled minor modes, (iii) the
current buffer's local keymap, and (iv) the global keymap, in that
order.  Emacs searches for each input key sequence in all these keymaps.
>
>   Of these usual keymaps, the highest-precedence one is specified by
the ‘keymap’ text or overlay property at point, if any.  (For a mouse
input event, Emacs uses the event position instead of point; *note
Searching Keymaps::.)
>
>   Next in precedence are keymaps specified by enabled minor modes.
These keymaps, if any, are specified by the variables
‘emulation-mode-map-alists’, ‘minor-mode-overriding-map-alist’, and
‘minor-mode-map-alist’.  *Note Controlling Active Maps::.
>
>   Next in precedence is the buffer's “local keymap”, containing key
bindings specific to the buffer.  The minibuffer also has a local keymap
(*note Intro to Minibuffers::).  If there is a ‘local-map’ text or
overlay property at point, that specifies the local keymap to use, in
place of the buffer's default local keymap.

‘minor-mode-overriding-map-alist` should have higher priority than the buffer local keymap.
However, the actual behavior is different than what the docs say.

Here is my test:

```elisp
;;;###autoload
(defvar-keymap typst-ts-mode-map
;; ..
"RET" #'typst-ts-mode-return)

(defvar-keymap mk/test-map
"RET" #'(lambda () (interactive) (message "mk/test-map")))

;;;###autoload
(define-derived-mode typst-ts-mode text-mode "Typst"
"Major mode for editing Typst, powered by tree-sitter."
:group 'typst
:syntax-table typst-ts-mode-syntax-table
:after-hook
(typst-ts-mode-after-hook-function)

(setq minor-mode-overriding-map-alist '((outline-minor-mode . nil)))
(setcdr (assq #'outline-minor-mode minor-mode-overriding-map-alist) mk/test-map)

;; ...
)
```
In this situation, `typst-ts-mode-return` will be executed. 

If we execute this elisp code and then re-enter `typst-ts-mode`
```elisp 
(keymap-set outline-minor-mode-map "<return>" #'(lambda () (interactive) (message "outline-minor-mode-map")))
```
it will still execute `typst-ts-mode-return` function.

However, in addition of the previous code, if we then remove the following code in `typst-ts-mode` setup process:
```elisp
(setq minor-mode-overriding-map-alist '((outline-minor-mode . nil)))
(setcdr (assq #'outline-minor-mode minor-mode-overriding-map-alist) mk/test-map)
```
then the lambda function in `outline-minor-mode-map` will be executed. 



--- 

In GNU Emacs 31.0.50 (build 1, x86_64-pc-linux-gnu, GTK+ Version
3.24.43, cairo version 1.18.0)
Repository revision: 643b564bd38cf037c55dba1a160b7d0c4c8355a9
Repository branch: master
System Description: NixOS 24.11 (Vicuna)

Configured using:
'configure
--prefix=/nix/store/dj6bh0vp6gzqdmb3ilri3aw5kcq62myf-emacs-pgtk-20240811.0
--disable-build-details --with-modules --with-pgtk
--with-compress-install --with-toolkit-scroll-bars
--with-native-compilation --without-imagemagick --with-mailutils
--without-small-ja-dic --with-tree-sitter --without-xinput2
--with-xwidgets --with-dbus --with-selinux'

Message #8 received at 72624 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: mr.meowking <at> tutamail.com,
 Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: 72624 <at> debbugs.gnu.org
Subject: Re: bug#72624: 31.0.50;
 minor-mode-overriding-map-alist doesn't have higher priority than
 local map, which differs from docs
Date: Sat, 17 Aug 2024 13:05:04 +0300

> Date: Wed, 14 Aug 2024 17:45:03 +0200 (CEST)
> From: mr.meowking--- via "Bug reports for GNU Emacs,
>  the Swiss army knife of text editors" <bug-gnu-emacs <at> gnu.org>
> 
> NOTE: please view
> https://codeberg.org/meow_king/typst-ts-mode/issues/6#issuecomment-2174390
> for rendered markdown view.
> 
> According to docs `(elisp) Active Keymaps` :
> 
> > Emacs contains many keymaps, but at any time only a few keymaps are
> “active”.  When Emacs receives user input, it translates the input event
> (*note Translation Keymaps::), and looks for a key binding in the active
> keymaps.
> >
> >   Usually, the active keymaps are: (i) the keymap specified by the
> ‘keymap’ property, (ii) the keymaps of enabled minor modes, (iii) the
> current buffer's local keymap, and (iv) the global keymap, in that
> order.  Emacs searches for each input key sequence in all these keymaps.
> >
> >   Of these usual keymaps, the highest-precedence one is specified by
> the ‘keymap’ text or overlay property at point, if any.  (For a mouse
> input event, Emacs uses the event position instead of point; *note
> Searching Keymaps::.)
> >
> >   Next in precedence are keymaps specified by enabled minor modes.
> These keymaps, if any, are specified by the variables
> ‘emulation-mode-map-alists’, ‘minor-mode-overriding-map-alist’, and
> ‘minor-mode-map-alist’.  *Note Controlling Active Maps::.
> >
> >   Next in precedence is the buffer's “local keymap”, containing key
> bindings specific to the buffer.  The minibuffer also has a local keymap
> (*note Intro to Minibuffers::).  If there is a ‘local-map’ text or
> overlay property at point, that specifies the local keymap to use, in
> place of the buffer's default local keymap.
> 
> ‘minor-mode-overriding-map-alist` should have higher priority than the buffer local keymap.
> However, the actual behavior is different than what the docs say.
> 
> Here is my test:
> 
> ```elisp
> ;;;###autoload
> (defvar-keymap typst-ts-mode-map
> ;; ..
> "RET" #'typst-ts-mode-return)
> 
> (defvar-keymap mk/test-map
> "RET" #'(lambda () (interactive) (message "mk/test-map")))
> 
> ;;;###autoload
> (define-derived-mode typst-ts-mode text-mode "Typst"
> "Major mode for editing Typst, powered by tree-sitter."
> :group 'typst
> :syntax-table typst-ts-mode-syntax-table
> :after-hook
> (typst-ts-mode-after-hook-function)
> 
> (setq minor-mode-overriding-map-alist '((outline-minor-mode . nil)))
> (setcdr (assq #'outline-minor-mode minor-mode-overriding-map-alist) mk/test-map)
> 
> ;; ...
> )
> ```
> In this situation, `typst-ts-mode-return` will be executed. 
> 
> If we execute this elisp code and then re-enter `typst-ts-mode`
> ```elisp 
> (keymap-set outline-minor-mode-map "<return>" #'(lambda () (interactive) (message "outline-minor-mode-map")))
> ```
> it will still execute `typst-ts-mode-return` function.
> 
> However, in addition of the previous code, if we then remove the following code in `typst-ts-mode` setup process:
> ```elisp
> (setq minor-mode-overriding-map-alist '((outline-minor-mode . nil)))
> (setcdr (assq #'outline-minor-mode minor-mode-overriding-map-alist) mk/test-map)
> ```
> then the lambda function in `outline-minor-mode-map` will be executed. 

Stefan, any comments or suggestions?

Message #11 received at 72624 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Monnier <monnier <at> iro.umontreal.ca>
To: mr.meowking <at> tutamail.com
Cc: 72624 <at> debbugs.gnu.org
Subject: Re: bug#72624: 31.0.50; minor-mode-overriding-map-alist doesn't
 have higher priority than local map, which differs from docs
Date: Mon, 19 Aug 2024 10:52:14 -0400

> ‘minor-mode-overriding-map-alist` should have higher priority than the
> buffer local keymap.

According to my tests, it does.

> (defvar-keymap mk/test-map
> "RET" #'(lambda () (interactive) (message "mk/test-map")))
[...]
> (keymap-set outline-minor-mode-map "<return>" #'(lambda () (interactive)
> (message "outline-minor-mode-map")))

Binding a command to "<return>" is generally a bug.
You should bind it to "RET" instead, unless you really know what
you're doing.

The way the bug manifests itself is exactly in the way you show here.

Emacs will first look for a binding for `return` and if it finds one
it'll use it in preference to a binding for `RET`, regardless of the
relative precedence of the keymaps involved.

[ Side note:

  > ```elisp
  [...]
  > (setq minor-mode-overriding-map-alist '((outline-minor-mode . nil)))
  [...]
  > ```
  
  `minor-mode-overriding-map-alist` is automatically buffer-local, so
  setting it at the toplevel of an ELisp file doesn't make much sense: it
  will set it only in the buffer that happens to be current when you load
  that ELisp file.  ]


        Stefan

Message #14 received at 72624 <at> debbugs.gnu.org (full text, mbox):

From: Meow King <mr.meowking <at> tutamail.com>
To: Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: 72624 <72624 <at> debbugs.gnu.org>
Subject: Re: bug#72624: 31.0.50; minor-mode-overriding-map-alist doesn't
 have higher priority than local map, which differs from docs
Date: Mon, 19 Aug 2024 17:16:50 +0200 (CEST)

> Emacs will first look for a binding for `return` and if it finds one
> it'll use it in preference to a binding for `RET`, regardless of the
> relative precedence of the keymaps involved.

Thanks! After correctly bound keys, issues related to Corfu resolved, and I see `minor-mode-overriding-map-alist` works well and behave in order.

Message #19 received at 72624-done <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Meow King <mr.meowking <at> tutamail.com>
Cc: 72624-done <at> debbugs.gnu.org, monnier <at> iro.umontreal.ca
Subject: Re: bug#72624: 31.0.50;
 minor-mode-overriding-map-alist doesn't have higher priority than
 local map, which differs from docs
Date: Sat, 31 Aug 2024 11:10:45 +0300

> Cc: 72624 <72624 <at> debbugs.gnu.org>
> Date: Mon, 19 Aug 2024 17:16:50 +0200 (CEST)
> From:  Meow King via "Bug reports for GNU Emacs,
>  the Swiss army knife of text editors" <bug-gnu-emacs <at> gnu.org>
> 
> > Emacs will first look for a binding for `return` and if it finds one
> > it'll use it in preference to a binding for `RET`, regardless of the
> > relative precedence of the keymaps involved.
> 
> Thanks! After correctly bound keys, issues related to Corfu resolved, and I see `minor-mode-overriding-map-alist` works well and behave in order.

No further comments, so I assume the problem is solved, and I'm
therefore closing this bug.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.