[evince] shell: Fix media-player keys not working



commit 4d2301de8ec78adad37a19777b3dc89a9d1f0d8d
Author: Bastien Nocera <hadess hadess net>
Date:   Wed Jan 24 14:08:31 2018 +0100

    shell: Fix media-player keys not working
    
    gsd-media-keys doesn't have a .service file itself, but responds to the
    org.gnome.SettingsDaemon.MediaKeys name nonetheless. This however seems
    to mean that signals emitted by gsd-media-keys will not have the
    expected sender name. Seeing as the signals come from a proxy we created
    ourselves with a well-known name, there's really no need to filter any
    further.
    
    This fixes pressed media player keys not doing anything with more recent
    versions of gnome-settings-daemon (3.24).
    
    https://bugzilla.gnome.org/show_bug.cgi?id=789738

 shell/ev-media-player-keys.c |    3 ---
 1 files changed, 0 insertions(+), 3 deletions(-)
---
diff --git a/shell/ev-media-player-keys.c b/shell/ev-media-player-keys.c
index 6a12d18..a0075ed 100644
--- a/shell/ev-media-player-keys.c
+++ b/shell/ev-media-player-keys.c
@@ -135,9 +135,6 @@ media_player_key_pressed_cb (GDBusProxy *proxy,
 {
         const char *application, *key;
 
-        if (g_strcmp0 (sender_name, SD_NAME) != 0)
-                return;
-
         if (g_strcmp0 (signal_name, "MediaPlayerKeyPressed") != 0)
                 return;
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]