From: Carlos Garcia Campos Date: Thu, 4 Sep 2008 11:43:05 +0000 (+0000) Subject: Grab the mediakeys with a low priority. Fixes bug #547164. Patch by Eric X-Git-Tag: EVINCE_2_23_92~20 X-Git-Url: https://www.fi.muni.cz/~kas/git//home/kas/public_html/git/?a=commitdiff_plain;ds=inline;h=46aac1e437cb5dbb4ccf6d5b035e3abebe359b05;p=evince.git Grab the mediakeys with a low priority. Fixes bug #547164. Patch by Eric 2008-09-04 Carlos Garcia Campos * 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 --- diff --git a/ChangeLog b/ChangeLog index 1b7b5265..98f2f3ba 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2008-09-04 Carlos Garcia Campos + + * 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 * shell/ev-application.c: (ev_application_get_media_keys): diff --git a/shell/ev-media-player-keys.c b/shell/ev-media-player-keys.c index 04d858f3..809e192d 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); }