[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature requ
From: |
Stefan Monnier |
Subject: |
Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request |
Date: |
Mon, 25 Oct 2021 14:08:42 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Juri Linkov [2021-10-25 20:54:03] wrote:
>>>> BTW, I tried using 'substitute-command-keys' to do this, since itʼs
>>>> more elegant, but it gave an unusual result for undo:
>>>>
>>>> (substitute-command-keys "\\<undo-repeat-map>\\[undo]")
>>>> =>#("C-x u" 0 5
>>>> (font-lock-face help-key-binding face help-key-binding))
>>>
>>> That looks like a bug to me.
>>
>> This is due to :advertised-binding.
>
> Maybe 'where-is-internal' should check if the map contains
> the advertised binding, only then return it?
The \\<...> doesn't override all other maps, so the `undo` command is
still found to be bound to `C-x u` in the global map.
But I agree that maybe `where-is-internal` could be told here to give
precedence to bindings found in the \\<...> map.
Stefan
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/24
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Juri Linkov, 2021/10/24
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/24
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Juri Linkov, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Stefan Kangas, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Andreas Schwab, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Juri Linkov, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request,
Stefan Monnier <=
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Stefan Monnier, 2021/10/25
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/26
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/26
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Stefan Monnier, 2021/10/26
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Robert Pluim, 2021/10/26
- Re: bug#49265: [External] : bug#49265: 28.0.50; repeat mode feature request, Juri Linkov, 2021/10/25