[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Info-mode patch
From: |
Juri Linkov |
Subject: |
Re: Info-mode patch |
Date: |
Mon, 03 Jul 2023 21:40:10 +0300 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/30.0.50 (x86_64-pc-linux-gnu) |
>> >> >> It seems you found a bug in 'key-valid-p'!
>> >> >> And indeed it returns nil:
>> >> >>
>> >> >> (key-valid-p "<tool-bar> <C-Back in history>")
>> >> >
>> >> > Why is it a bug? "<tool-bar> <C-Back in history>" has no meaning,
>> >> > since it isn't a mouse event.
>> >>
>> >> Is "remap" a mouse event?
>> >
>> > Why is "remap" relevant to the issue at hand?
>>
>> I converted from "old idiom" in info.el to new defvar-keymap. When
>> seeing "remap" (a dummy event) works, I just expected defvar-keymap was
>> done the way that it is possible to use all keys, fake-kyes, events,
>> and whatnot the same way. Similar as I expected 'frame to have same
>> meaning everywhere for the uniformity.
>>
>> Would look more tidy if it was possible to keep all key definitions in
>> the same place as in the old code.
>
> Do you mean that we had a binding like [tool-bar C-Back\ in\ history]
> somewhere?
This symbol is generated automatically by 'easy-menu-define'
from the menu item "Back in History" with spaces inside.
- Re: Info-mode patch, Arthur Miller, 2023/07/01
- Re: Info-mode patch, Juri Linkov, 2023/07/02
- Re: Info-mode patch, Eli Zaretskii, 2023/07/02
- Re: Info-mode patch, Arthur Miller, 2023/07/02
- Re: Info-mode patch, Eli Zaretskii, 2023/07/03
- Re: Info-mode patch, Arthur Miller, 2023/07/03
- Re: Info-mode patch, Eli Zaretskii, 2023/07/03
- Re: Info-mode patch,
Juri Linkov <=
- Re: Info-mode patch, Eli Zaretskii, 2023/07/03
- easy-menu-define keys for key-valid-p (was: Info-mode patch), Juri Linkov, 2023/07/04
- Re: easy-menu-define keys for key-valid-p (was: Info-mode patch), Eli Zaretskii, 2023/07/04
- Re: Info-mode patch, Arthur Miller, 2023/07/03
- Re: Info-mode patch, Andreas Schwab, 2023/07/04
- Re: Info-mode patch, Arthur Miller, 2023/07/04
- Re: Info-mode patch, Eli Zaretskii, 2023/07/03
- Re: Info-mode patch, Stefan Monnier, 2023/07/04
- Re: Info-mode patch, Eli Zaretskii, 2023/07/08
Re: Info-mode patch, Arthur Miller, 2023/07/02