[gnome-text-editor] page: tweak margins

[Christian Hergert <chergert src gnome org>]

commit 683729c1df55ae21f59ea153ca8750ae6fb5e186
Author: Christian Hergert <chergert redhat com>
Date:   Sat Jun 19 14:06:12 2021 -0700

    page: tweak margins
    
    This makes it look better with both line numbers and similar without them.

 src/editor-page.c  | 8 ++++++--
 src/editor-page.ui | 2 +-
 2 files changed, 7 insertions(+), 3 deletions(-)
---
diff --git a/src/editor-page.c b/src/editor-page.c
index a5bf85d..cc14c74 100644
--- a/src/editor-page.c
+++ b/src/editor-page.c
@@ -228,9 +228,9 @@ boolean_to_left_margin (GBinding     *binding,
                         gpointer      user_data)
 {
   if (g_value_get_boolean (from_value))
-    g_value_set_int (to_value, 2);
+    g_value_set_int (to_value, 0);
   else
-    g_value_set_int (to_value, 16);
+    g_value_set_int (to_value, 12);
   return TRUE;
 }
 
@@ -578,9 +578,13 @@ static void
 editor_page_init (EditorPage *self)
 {
   GtkDropTarget *dest;
+  GtkSourceGutter *gutter;
 
   gtk_widget_init_template (GTK_WIDGET (self));
 
+  gutter = gtk_source_view_get_gutter (self->view, GTK_TEXT_WINDOW_LEFT);
+  gtk_widget_set_margin_start (GTK_WIDGET (gutter), 4);
+
   g_object_bind_property (self, "document", self->infobar, "document", 0);
 
   g_signal_connect_object (self->view,
diff --git a/src/editor-page.ui b/src/editor-page.ui
index 3a24e51..6ea6511 100644
--- a/src/editor-page.ui
+++ b/src/editor-page.ui
@@ -27,7 +27,7 @@
                         <property name="auto-indent">true</property>
                         <property name="top-margin">16</property>
                         <property name="bottom-margin">16</property>
-                        <property name="left-margin">16</property>
+                        <property name="left-margin">12</property>
                         <property name="right-margin">16</property>
                         <property name="monospace">true</property>
                       </object>