[gnome-settings-daemon] media-keys: Make update_kbd_cb() quicker



commit 929939cb6ceb53bff53994c4faa33fdc5ce05e60
Author: Bastien Nocera <hadess hadess net>
Date:   Wed Nov 2 16:09:36 2011 +0000

    media-keys: Make update_kbd_cb() quicker

 plugins/media-keys/gsd-media-keys-manager.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c
index ce7a1af..000e373 100644
--- a/plugins/media-keys/gsd-media-keys-manager.c
+++ b/plugins/media-keys/gsd-media-keys-manager.c
@@ -369,6 +369,7 @@ update_kbd_cb (GSettings           *settings,
                 if (strcmp (settings_key, key->settings_key) == 0) {
                         if (grab_media_key (key, manager))
                                 need_flush = TRUE;
+                        break;
                 }
         }
 



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