diff options
Diffstat (limited to 'plugins/media-keys/gsd-media-keys-manager.c')
| -rw-r--r-- | plugins/media-keys/gsd-media-keys-manager.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c index 2c46d741..cab4aa29 100644 --- a/plugins/media-keys/gsd-media-keys-manager.c +++ b/plugins/media-keys/gsd-media-keys-manager.c @@ -1791,9 +1791,11 @@ do_config_power_action (GsdMediaKeysManager *manager, power_action (manager, "Suspend"); break; case GSD_POWER_ACTION_INTERACTIVE: - case GSD_POWER_ACTION_SHUTDOWN: gnome_session_shutdown (manager); break; + case GSD_POWER_ACTION_SHUTDOWN: + power_action (manager, "PowerOff"); + break; case GSD_POWER_ACTION_HIBERNATE: power_action (manager, "Hibernate"); break; |