Re: [PATCH] Show/Hide menu

[Pavel Janík]

   From: Richard Stallman <address@hidden>
   Date: Mon, 21 Jan 2002 22:38:40 -0700 (MST)

   > changes shape when they turn off the menu bar.  But I suspect that
   > with the visual distraction of the disappearance of the menu bar,
   > users won't notice this change.

Especially now, when we make the frame smaller when turning off the menu
bar. Yes, this is not a good idea, I think.
-- 
Pavel Janík

panic("Attempted to kill the idle task!");
                  -- 2.2.16 kernel/exit.c