Re: GNOME panel "menu" applet

[Tom Tromey <tromey cygnus com>]

>>>>> "Michael" == Michael Rogers <m.rogers@cs.ucl.ac.uk> writes:

Michael> I agree. The system menu should be invisible to normal users
Michael> - they should start with a copy of it instead. (Not that it's
Michael> hard to make a copy and then hide the original, but it would
Michael> be nicer to have this done automatically).

If you mean a real copy, as in in ~/.gnome, then I disagree.  Copying
is bad because updates to the system menus won't be seen by users.

Tom