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 | |
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
-rw-r--r-- | ChangeLog | 7 | ||||
-rw-r--r-- | shell/ev-media-player-keys.c | 7 |
2 files changed, 13 insertions, 1 deletions
@@ -1,5 +1,12 @@ 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. + +2008-09-04 Carlos Garcia Campos <carlosgc@gnome.org> + * shell/ev-application.c: (ev_application_get_media_keys): * shell/ev-media-player-keys.[ch]: (ev_media_player_keys_class_init), (on_media_player_key_pressed), 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); } |