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

diff --git a/ChangeLog b/ChangeLog
index 1b7b5265aab8ba3f9e9a2b2597afc690a36d7e2a..98f2f3ba40ab23c0dc314ee29e10c181850e2c95 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+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):

diff --git a/shell/ev-media-player-keys.c b/shell/ev-media-player-keys.c
index 04d858f3217215875bb82138151d13c269027fa9..809e192d586dd4c4f3aa87ade84ac21d96dd3caa 100644 (file)
--- 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);
 }