Re: GNOME panel "menu" applet

[Tom Tromey <tromey cygnus com>]

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

>> Again. This is better. It allowsthese functions to be implemented via
>> _any_ menu. E could have a link to the logout button of GNOME

Michael> It can - it just needs to call "save-session --kill".

Any window manager that has session support can also simply use the
appropriate libSM call to directly request a session exit.  It is also
trivial to detect whether or not the session manager is running, and
change behavior on that basis.

Tom