[gnome-shell-extensions] alternate-tab: Tweak pref widget a bit

[Florian Müllner <fmuellner src gnome org>]

commit f4625f796865cd397d43d71f3b0154d982d06396
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri May 23 05:30:17 2014 +0200

    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 files changed, 15 insertions(+), 8 deletions(-)
---
diff --git a/extensions/alternate-tab/prefs.js b/extensions/alternate-tab/prefs.js
index b6ec54a..d59ae0d 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 = '<b>' + _("Present windows as") + '</b>';
+        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);
     },