diff options
author | Carlos Garcia Campos <carlosgc@gnome.org> | 2008-09-04 11:43:05 (GMT) |
---|---|---|
committer | Carlos Garcia Campos <carlosgc@src.gnome.org> | 2008-09-04 11:43:05 (GMT) |
commit | 46aac1e437cb5dbb4ccf6d5b035e3abebe359b05 (patch) | |
tree | 013ab9e96bd521459b85c447dbd6ec75992d8ef2 /shell | |
parent | e01d6f5fd8c8682948d87cbfe3456a424652ad71 (diff) |
Grab the mediakeys with a low priority. Fixes bug #547164. Patch by Eric
2008-09-04 Carlos Garcia Campos <carlosgc@gnome.org>
* shell/ev-media-player-keys.c: (ev_media_player_keys_grab_keys):
Grab the mediakeys with a low priority. Fixes bug #547164. Patch
by Eric Piel.
svn path=/trunk/; revision=3149
Diffstat (limited to 'shell')
-rw-r--r-- | shell/ev-media-player-keys.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/shell/ev-media-player-keys.c b/shell/ev-media-player-keys.c index 04d858f..809e192 100644 --- a/shell/ev-media-player-keys.c +++ b/shell/ev-media-player-keys.c @@ -88,10 +88,15 @@ on_media_player_key_pressed (DBusGProxy *proxy, static void ev_media_player_keys_grab_keys (EvMediaPlayerKeys *keys) { + /* + * The uint as second argument is time. We give a very low value so that + * if a media player is there it gets higher priority on the keys (0 is + * a special value having maximum priority). + */ dbus_g_proxy_call (keys->proxy, "GrabMediaPlayerKeys", NULL, G_TYPE_STRING, "Evince", - G_TYPE_UINT, 0, + G_TYPE_UINT, 1, G_TYPE_INVALID, G_TYPE_INVALID); } |