Matthias Clasen bbfcde1caa Make session saving work a bit better
Previously, the restart command hardcoded "mutter" as the binary name.
This commit changes it to use g_get_prgname() which has a better chance
of being correct (and it does fix session saving for gnome-shell).

Now that mutter is a library, it might be more correct (but also
much higher overhead) to add api for setting these things from
the outside.

https://bugzilla.gnome.org/show_bug.cgi?id=648828
2011-05-25 15:39:23 -04:00
..
2011-03-23 16:08:51 -04:00
2011-05-23 23:49:10 -04:00
2011-03-17 15:31:53 +01:00
2009-06-16 14:17:10 -04:00