Re: [PATCH] Show/Hide menu

[Pavel Janík]

   From: Eli Zaretskii <address@hidden>
   Date: Sun, 20 Jan 2002 10:24:06 +0200 (IST)

Hi Eli,

thank you for your comments.

   > > If you turn the menu-bar off now, you are lost (M-x
   > > menu-bar-mode helps). Do you have an idea where the GUI possibility for
   > > turning the menu-bar on again should be?
   > 
   > The one I see a lot is to have a small widget (a kind of button, just
   > very narrow, with a special stipple which looks like a rugged surface)
   > which, if clicked on, turns the menu bar/tool bar back on.

Can you please send us some screenshot? My first idea was to put it to
some pop-up menu (like Text Properties, ...).

   > > Any comments?
   > 
   > Some:

I will address them, thank you.
-- 
Pavel Janík

Yours is the third report of this - it's definitely a bug in ext3.
                  -- Andrew Morton in linux-kernel