[gnome-text-editor] page: add additional spacing with line numbers

[Christian Hergert <chergert src gnome org>]

commit 6828ced2aa8068ed7fa7f23347a3ffae8039e1fc
Author: Christian Hergert <chergert redhat com>
Date:   Mon Nov 8 16:01:41 2021 -0800

    page: add additional spacing with line numbers
    
    We used to have this, and it got lost in some of the other changes from
    doing margin work. Now that kate.xml can add a visible edge, we need more
    padding to the left of the gutter.
    
    Fixes #206

 src/editor-page.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/editor-page.c b/src/editor-page.c
index b8ff428..70d98b6 100644
--- a/src/editor-page.c
+++ b/src/editor-page.c
@@ -247,7 +247,7 @@ boolean_to_left_margin (GBinding     *binding,
                         gpointer      user_data)
 {
   if (g_value_get_boolean (from_value))
-    g_value_set_int (to_value, 0);
+    g_value_set_int (to_value, 6);
   else
     g_value_set_int (to_value, 12);
   return TRUE;