[gnome-settings-daemon] media-keys: Make update_kbd_cb() quicker
- From: Bastien Nocera <hadess src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-settings-daemon] media-keys: Make update_kbd_cb() quicker
- Date: Wed, 2 Nov 2011 20:13:32 +0000 (UTC)
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]