[gnome-settings-daemon] media-keys: Repeat screen and keyboard brightness keys

[Bastien Nocera <hadess src gnome org>]

commit 988ba7884c9c54859074378196b6ffa930e88d78
Author: Alex <murray alex gmail com>
Date:   Thu Nov 15 00:24:13 2012 +1030

    media-keys: Repeat screen and keyboard brightness keys
    
    This makes these media keys work the same way as the volume keys do.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=684880

 plugins/media-keys/gsd-media-keys-manager.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c
index af4b21e..17eb9de 100644
--- a/plugins/media-keys/gsd-media-keys-manager.c
+++ b/plugins/media-keys/gsd-media-keys-manager.c
@@ -2025,6 +2025,10 @@ filter_key_events (XEvent              *xevent,
                         case VOLUME_UP_KEY:
                         case VOLUME_DOWN_QUIET_KEY:
                         case VOLUME_UP_QUIET_KEY:
+                        case SCREEN_BRIGHTNESS_UP_KEY:
+                        case SCREEN_BRIGHTNESS_DOWN_KEY:
+                        case KEYBOARD_BRIGHTNESS_UP_KEY:
+                        case KEYBOARD_BRIGHTNESS_DOWN_KEY:
                                 /* auto-repeatable keys */
                                 if (xiev->evtype != XI_KeyPress)
                                         return GDK_FILTER_CONTINUE;