Re: new gnome-session logout

[Tom Tromey <tromey cygnus com>]

>>>>> "Jacob" == Jacob Berkman <jberkman@andrew.cmu.edu> writes:

Jacob> After updating to the newer gnome-session (with the RH6 patches
Jacob> merged in) I immediately wanted to save the session by default,
Jacob> but be able at "end session time" to not save the session.

Jacob> Anyway here is a little diff that does what I want.  I can
Jacob> commit it if you like, or just leave it in my local tree
Jacob> forever.

It's fine with me.  Please commit it.

Tom