Re: [patch] showing menu bar temporarily when f10 is pressed

[Stefan Monnier]

> +       (unless visible
> +         (menu-bar-mode 1))

Here we have a problem: if you have several frames, some of which have
a menu-bar and some don't, this will add a menu-bar to all of them, and
then (menu-bar-mode -1) will remove it from all the frames.

Why do you need the menu-bar?  Why not pop up the menu usually bound to
C-mouse-3?


        Stefan