From f4625f796865cd397d43d71f3b0154d982d06396 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 23 May 2014 05:30:17 +0200 Subject: [PATCH] alternate-tab: Tweak pref widget a bit Adjust spacing to use more standard values and tweak alignments to make the structure a bit more clear. https://bugzilla.gnome.org/show_bug.cgi?id=730843 --- extensions/alternate-tab/prefs.js | 23 +++++++++++++++-------- 1 file changed, 15 insertions(+), 8 deletions(-) diff --git a/extensions/alternate-tab/prefs.js b/extensions/alternate-tab/prefs.js index b6ec54ae..d59ae0d5 100644 --- a/extensions/alternate-tab/prefs.js +++ b/extensions/alternate-tab/prefs.js @@ -29,16 +29,24 @@ const AltTabSettingsWidget = new GObject.Class({ _init : function(params) { this.parent(params); - this.margin = 10; + this.margin = 24; + this.row_spacing = 6; this.orientation = Gtk.Orientation.VERTICAL; this._settings = new Gio.Settings({ schema: 'org.gnome.shell.window-switcher' }); - let presentLabel = _("Present windows as"); - this.add(new Gtk.Label({ label: presentLabel, sensitive: true, - margin_bottom: 10, margin_top: 5 })); + let presentLabel = '' + _("Present windows as") + ''; + this.add(new Gtk.Label({ label: presentLabel, use_markup: true, + halign: Gtk.Align.START })); + + let align = new Gtk.Alignment({ left_padding: 12 }); + this.add(align); + + let grid = new Gtk.Grid({ orientation: Gtk.Orientation.VERTICAL, + row_spacing: 6, + column_spacing: 6 }); + align.add(grid); - let top = 1; let radio = null; let currentMode = this._settings.get_string(SETTINGS_APP_ICON_MODE); for (let mode in MODES) { @@ -52,15 +60,14 @@ const AltTabSettingsWidget = new GObject.Class({ if (widget.active) this._settings.set_string(SETTINGS_APP_ICON_MODE, modeCapture); })); - this.add(radio); + grid.add(radio); if (mode == currentMode) radio.active = true; - top += 1; } let check = new Gtk.CheckButton({ label: _("Show only windows in the current workspace"), - margin_top: 12 }); + margin_top: 6 }); this._settings.bind(SETTINGS_CURRENT_WORKSPACE_ONLY, check, 'active', Gio.SettingsBindFlags.DEFAULT); this.add(check); },