[gnome-shell-extensions] window-list: Fix preferences radio buttons not reflecting the setting
- From: Rui Matos <rtcm src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] window-list: Fix preferences radio buttons not reflecting the setting
- Date: Sun, 7 Apr 2013 19:01:08 +0000 (UTC)
commit 6adeed4e60b82e67ff534c178fc782bfe2876d0d
Author: Rui Matos <tiagomatos gmail com>
Date: Sun Apr 7 00:37:10 2013 +0200
window-list: Fix preferences radio buttons not reflecting the setting
When setting GtkRadioButton's group property, its active property is
also set as a by-product. This means that setting these properties
isn't commutative which arguably is a bug in gtk+ but one that we can
easily work around by just switching the order here.
https://bugzilla.gnome.org/show_bug.cgi?id=697495
extensions/window-list/prefs.js | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/extensions/window-list/prefs.js b/extensions/window-list/prefs.js
index 4b9cef0..55045be 100644
--- a/extensions/window-list/prefs.js
+++ b/extensions/window-list/prefs.js
@@ -59,9 +59,9 @@ const WindowListPrefsWidget = new GObject.Class({
continue;
}
- radio = new Gtk.RadioButton({ group: radio,
+ radio = new Gtk.RadioButton({ active: currentMode == mode,
label: label,
- active: currentMode == mode });
+ group: radio });
grid.add(radio);
radio.connect('toggled', Lang.bind(this, function(button) {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]