[gnome-settings-daemon] media-keys: Simplify search tool launch

[Bastien Nocera <hadess src gnome org>]

commit cac94ad1314bd9fa5eadfe30d9c24752a100715c
Author: Bastien Nocera <hadess hadess net>
Date:   Thu Nov 15 07:28:47 2012 +0100

    media-keys: Simplify search tool launch

 plugins/media-keys/gsd-media-keys-manager.c |    8 ++------
 1 files changed, 2 insertions(+), 6 deletions(-)
---
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c
index ab0d457..3ed4a09 100644
--- a/plugins/media-keys/gsd-media-keys-manager.c
+++ b/plugins/media-keys/gsd-media-keys-manager.c
@@ -1891,12 +1891,8 @@ do_action (GsdMediaKeysManager *manager,
                 do_home_key_action (manager, timestamp);
                 break;
         case SEARCH_KEY:
-                cmd = NULL;
-                if ((cmd = g_find_program_in_path ("tracker-search-tool")))
-                        do_execute_desktop (manager, "tracker-needle.desktop", timestamp);
-                else
-                        do_execute_desktop (manager, "gnome-search-tool.desktop", timestamp);
-                g_free (cmd);
+                do_execute_desktop_or_desktop ("tracker-needle.desktop",
+                                               "gnome-search-tool.desktop");
                 break;
         case EMAIL_KEY:
                 do_url_action (manager, "mailto", timestamp);