[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Info-mode patch
From: |
Eli Zaretskii |
Subject: |
Re: Info-mode patch |
Date: |
Mon, 03 Jul 2023 16:17:59 +0300 |
> From: Arthur Miller <arthur.miller@live.com>
> Cc: juri@linkov.net, emacs-devel@gnu.org
> Date: Mon, 03 Jul 2023 14:57:54 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> From: Arthur Miller <arthur.miller@live.com>
> >> Cc: Juri Linkov <juri@linkov.net>, emacs-devel@gnu.org
> >> Date: Mon, 03 Jul 2023 00:43:15 +0200
> >>
> >> >> 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?
- 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 <=
- Re: Info-mode patch, Juri Linkov, 2023/07/03
- 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