13 lines
702 B
Diff
13 lines
702 B
Diff
diff -up gnome-settings-daemon-2.24.0/plugins/media-keys/gsd-media-keys-manager.c.power-button gnome-settings-daemon-2.24.0/plugins/media-keys/gsd-media-keys-manager.c
|
|
--- gnome-settings-daemon-2.24.0/plugins/media-keys/gsd-media-keys-manager.c.power-button 2008-10-14 14:28:35.000000000 -0400
|
|
+++ gnome-settings-daemon-2.24.0/plugins/media-keys/gsd-media-keys-manager.c 2008-10-14 14:29:19.000000000 -0400
|
|
@@ -556,7 +556,7 @@ do_www_action (GsdMediaKeysManager *mana
|
|
static void
|
|
do_exit_action (GsdMediaKeysManager *manager)
|
|
{
|
|
- execute (manager, "gnome-session-save --kill", FALSE, FALSE);
|
|
+ execute (manager, "gnome-session-save --shutdown-dialog", FALSE, FALSE);
|
|
}
|
|
|
|
static void
|