[gnome-settings-daemon] media-keys: Support gcalctool's new name

[Bastien Nocera <hadess src gnome org>]

commit ae307913b71435c42fcd381d2220b82ef6586999
Author: Bastien Nocera <hadess hadess net>
Date:   Thu Nov 15 07:29:19 2012 +0100

    media-keys: Support gcalctool's new name
    
    Renamed to gnome-calculator in GNOME 3.8.

 plugins/media-keys/gsd-media-keys-manager.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c
index 3ed4a09..e5c9614 100644
--- a/plugins/media-keys/gsd-media-keys-manager.c
+++ b/plugins/media-keys/gsd-media-keys-manager.c
@@ -1928,7 +1928,7 @@ do_action (GsdMediaKeysManager *manager,
                 do_media_action (manager, timestamp);
                 break;
         case CALCULATOR_KEY:
-                do_execute_desktop (manager, "gcalctool.desktop", timestamp);
+                do_execute_desktop_or_desktop (manager, "gcalctool.desktop", "gnome-calculator.desktop", timestamp);
                 break;
         case PLAY_KEY:
                 return do_multimedia_player_action (manager, "Play");