diff --git a/extensions/window-list/prefs.js b/extensions/window-list/prefs.js index 78792b5..17e9799 100644 --- a/extensions/window-list/prefs.js +++ b/extensions/window-list/prefs.js @@ -50,6 +50,7 @@ class WindowListPrefsWidget extends Gtk.Grid { }; let radio = null; + let currentRadio = null; for (let i = 0; i < modes.length; i++) { let mode = modes[i]; let label = modeLabels[mode]; @@ -59,18 +60,24 @@ class WindowListPrefsWidget extends Gtk.Grid { } radio = new Gtk.RadioButton({ - active: currentMode == mode, + active: !i, label: label, group: radio }); grid.add(radio); + if (currentMode === mode) + currentRadio = radio; + radio.connect('toggled', button => { if (button.active) this._settings.set_string('grouping-mode', mode); }); } + if (currentRadio) + currentRadio.active = true; + let check = new Gtk.CheckButton({ label: _('Show on all monitors'), margin_top: 6