From cef8956f3a9e984b04f5197192e1170b2a793f86 Mon Sep 17 00:00:00 2001 From: Benjamin Flanagin Date: Thu, 3 Jun 2021 10:34:18 -0600 Subject: [PATCH] Added margin to prefs --- src/prefs.ts | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/prefs.ts b/src/prefs.ts index c4793def..1ceff061 100644 --- a/src/prefs.ts +++ b/src/prefs.ts @@ -70,6 +70,7 @@ function settings_dialog_view(): [AppWidgets, Gtk.Container] { let grid = new Gtk.Grid({ column_spacing: 12, row_spacing: 12, + margin: 10 }); let win_label = new Gtk.Label({ @@ -88,11 +89,11 @@ function settings_dialog_view(): [AppWidgets, Gtk.Container] { xalign: 0.0 }); - let window_titles = new Gtk.Switch({ halign: Gtk.Align.START }); + let window_titles = new Gtk.Switch({ halign: Gtk.Align.END }); - let snap_to_grid = new Gtk.Switch({ halign: Gtk.Align.START }); + let snap_to_grid = new Gtk.Switch({ halign: Gtk.Align.END }); - let smart_gaps = new Gtk.Switch({ halign: Gtk.Align.START }); + let smart_gaps = new Gtk.Switch({ halign: Gtk.Align.END }); grid.attach(win_label, 0, 0, 1, 1); grid.attach(window_titles, 1, 0, 1, 1);