Re: More key strangeness

[Stefan Monnier]

> Typing C-h k C-x <menu-bar> <options> <highlight-paren-mode>
> gives the resulting error message
> C-x <menu-bar> is undefined
> in the *Messages* buffer, but
> <highlight-paren-mode> is undefined
> in the echo area.

> Wow.  Where does that discrepancy come from?

I believe there's no discrepancy: What happens is that after selecting
the menu, you end up with 4 events:

   C-x <menu-bar> <options> <highlight-paren-mode>

and when reading them to find the corresponding key-sequence and
command, the first key-sequence is

   C-x <menu-bar>

and is unbound, so it generates the message "C-x <menu-bar> is
undefined".  Then the next event probably generates "<options> is undefined",
and so does <highlight-paren-mode>.  So you should see 3 messages
in total.


        Stefan