From 1a3568e80d6e069d4c0e4f8f0d29595deac8ee7e Mon Sep 17 00:00:00 2001
From: Simon Schneegans <code@simonschneegans.de>
Date: Fri, 18 Feb 2022 20:21:10 +0100
Subject: [PATCH] :lipstick: Fix margin

---
 prefs.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/prefs.js b/prefs.js
index bafa7e5..5b8e038 100644
--- a/prefs.js
+++ b/prefs.js
@@ -168,8 +168,6 @@ var PreferencesDialog = class PreferencesDialog {
       // This is our top-level widget which we will return later.
       this._widget = new Gtk.Box({
         orientation: Gtk.Orientation.HORIZONTAL,
-        margin_start: 50,
-        margin_end: 50,
       });
 
       const stack = new Gtk.Stack({
@@ -177,8 +175,10 @@ var PreferencesDialog = class PreferencesDialog {
       });
 
       // Add the general options page.
-      stack.add_titled(
-          this._builder.get_object('general-prefs'), 'general', _('General Options'));
+      const generalPage        = this._builder.get_object('general-prefs');
+      generalPage.margin_start = 60;
+      generalPage.margin_end   = 60;
+      stack.add_titled(generalPage, 'general', _('General Options'));
 
       this.gtkBoxAppend(this._widget, new Gtk.StackSidebar({stack: stack}));
       this.gtkBoxAppend(this._widget, stack);