diff options
author | Colin Walters <walters@verbum.org> | 2012-11-15 07:42:54 -0500 |
---|---|---|
committer | Colin Walters <walters@verbum.org> | 2012-11-15 07:45:14 -0500 |
commit | 22753a5348a09d185b1a800cd1007bfc0baced34 (patch) | |
tree | 1512be90e03ef434292d1c48b7835fe9fcc40375 | |
parent | ae307913b71435c42fcd381d2220b82ef6586999 (diff) | |
download | gnome-settings-daemon-22753a5348a09d185b1a800cd1007bfc0baced34.tar.gz |
Fix previous commit to compile
-rw-r--r-- | plugins/media-keys/gsd-media-keys-manager.c | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c index e5c96142..e5977d01 100644 --- a/plugins/media-keys/gsd-media-keys-manager.c +++ b/plugins/media-keys/gsd-media-keys-manager.c @@ -889,11 +889,12 @@ do_execute_desktop (GsdMediaKeysManager *manager, } else { g_warning ("Could not find application '%s'", desktop); } +} static void do_execute_desktop_or_desktop (GsdMediaKeysManager *manager, const char *desktop, - const char *alt_desktop; + const char *alt_desktop, gint64 timestamp) { GDesktopAppInfo *app_info; @@ -1853,8 +1854,6 @@ do_action (GsdMediaKeysManager *manager, MediaKeyType type, gint64 timestamp) { - char *cmd; - g_debug ("Launching action for key type '%d' (on device id %d)", type, deviceid); switch (type) { @@ -1891,8 +1890,10 @@ do_action (GsdMediaKeysManager *manager, do_home_key_action (manager, timestamp); break; case SEARCH_KEY: - do_execute_desktop_or_desktop ("tracker-needle.desktop", - "gnome-search-tool.desktop"); + do_execute_desktop_or_desktop (manager, + "tracker-needle.desktop", + "gnome-search-tool.desktop", + timestamp); break; case EMAIL_KEY: do_url_action (manager, "mailto", timestamp); |