[gnome-shell-extensions] window-list: Fix preferences radio buttons not reflecting the setting



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]