Index: gnome-settings-multimedia-keys.c
===================================================================
--- gnome-settings-multimedia-keys.c	(revisione 8192)
+++ gnome-settings-multimedia-keys.c	(copia locale)
@@ -564,6 +564,20 @@
 }
 
 static void
+do_search_action (Acme *acme)
+{
+	char *command;
+
+	command = gconf_client_get_string (acme->conf_client,
+					   "/desktop/gnome/applications/search_tool/exec", NULL);
+	if ((command != NULL) && (strcmp (command, "") != 0)) {
+		execute (acme, command, FALSE, gconf_client_get_bool (acme->conf_client,
+					   "/desktop/gnome/applications/search_tool/needs_term", NULL));
+	}
+	g_free (command);
+}
+
+static void
 do_www_action (Acme *acme, const char *url)
 {
 	char *string;
@@ -702,7 +716,7 @@
 		g_free (cmd);
 		break;
 	case SEARCH_KEY:
-		execute (acme, "gnome-search-tool", FALSE, FALSE);
+		do_search_action (acme);
 		break;
 	case EMAIL_KEY:
 		do_mail_action (acme);
