Re: Function for deleting a key binding in a sparse keymap - bug in menus?

[Lennart Borgman <lennart.borgman.073@student.lu.se>]

Lennart Borgman wrote:

> Stefan Monnier wrote:
>
>>> Because in this case it is a temporary minor mode that exists just 
>>> during
>>> a few keystrokes. I actually put the keymap first in
>>> emulation-mode-map-alists to avoid any problem.  Nearly all keys except
>>> those for using the mode are bound to a function that exits the
>>> temporary mode.
>>>   
>>
>>
>> Any reason not to use overriding-(terminal-)local-map like isearch does?
>>
>>
>>        Stefan
>>
> Me. I did not know about it. Seems like what I want to use.

I did change to use `overriding-terminal-local-map'. However there are 
some side effects of this and maybe a bug.

Since the minor and major mode maps are overriden they disappear from 
the menus too. That is rather ok. But the keyboard bindings in 
overriding-terminal-local-map is not reflected in the menu that is set 
up by the keymap. That looks like a bug to me.

More precisely: The menu setup by the keymap looks ok except that the 
keyboard bindings are not mentioned in the menus as they use to be.