From ca44977d92738dbcd03abfea05dff8a655bbf00f Mon Sep 17 00:00:00 2001 From: Rui Matos Date: Wed, 9 Jan 2013 02:01:59 +0100 Subject: [PATCH] status/keyboard: Only change the current source setting if it changed This avoids all the work that goes on in various processes when switching input sources if the activated source is the currently configured one. https://bugzilla.gnome.org/show_bug.cgi?id=691414 --- js/ui/status/keyboard.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/js/ui/status/keyboard.js b/js/ui/status/keyboard.js index c1b4ea1e2..590d2eeff 100644 --- a/js/ui/status/keyboard.js +++ b/js/ui/status/keyboard.js @@ -470,6 +470,8 @@ const InputSourceIndicator = new Lang.Class({ let is = new InputSource(type, id, displayName, shortName, i); is.connect('activate', Lang.bind(this, function() { + if (this._currentSource.index == is.index) + return; this._settings.set_value(KEY_CURRENT_INPUT_SOURCE, GLib.Variant.new_uint32(is.index)); }));