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

[Lennart Borgman]

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.