[gnome-settings-daemon] media-keys: Also pass deviceid for custom actions

[Florian Müllner <fmuellner src gnome org>]

commit 7e6854df07b1802cea88e62b979ae3628cdb1c0c
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Mar 1 15:31:55 2013 +0100

    media-keys: Also pass deviceid for custom actions
    
    Nothing useful is currently done with it, but that will hopefully
    change soon.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=693016

 plugins/media-keys/gsd-media-keys-manager.c |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c
index 22147db..e611b99 100644
--- a/plugins/media-keys/gsd-media-keys-manager.c
+++ b/plugins/media-keys/gsd-media-keys-manager.c
@@ -1971,9 +1971,12 @@ do_battery_action (GsdMediaKeysManager *manager)
 
 static void
 do_custom_action (GsdMediaKeysManager *manager,
+                  guint                deviceid,
                   MediaKey            *key,
                   gint64               timestamp)
 {
+        g_debug ("Launching custom action for key (on device id %d)", deviceid);
+
        execute (manager, key->custom_command, FALSE);
 }
 
@@ -2164,7 +2167,7 @@ on_accelerator_activated (ShellKeyGrabber     *grabber,
                         continue;
 
                 if (key->key_type == CUSTOM_KEY)
-                        do_custom_action (manager, key, GDK_CURRENT_TIME);
+                        do_custom_action (manager, deviceid, key, GDK_CURRENT_TIME);
                 else
                         do_action (manager, deviceid, key->key_type, GDK_CURRENT_TIME);
                 return;