[gnome-text-editor] page: match top/bottom margin to textview



commit f1fcb4fccb7b4f6ffe4ef369e785d5926dd61803
Author: Christian Hergert <chergert redhat com>
Date:   Tue Oct 12 11:58:09 2021 -0700

    page: match top/bottom  margin to textview
    
    We want the top and bottom margin to match the editor area so that when we
    are the boundaries they have similar alignments.

 src/editor-page.ui | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/editor-page.ui b/src/editor-page.ui
index f324637..3eb73a1 100644
--- a/src/editor-page.ui
+++ b/src/editor-page.ui
@@ -38,6 +38,8 @@
                 </child>
                 <child>
                   <object class="GtkSourceMap" id="map">
+                    <property name="top-margin">16</property>
+                    <property name="bottom-margin">16</property>
                     <property name="left-margin">12</property>
                     <property name="hexpand">false</property>
                     <property name="visible">false</property>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]