[gnome-builder/wip/gtk4-port: 336/1774] libide/editor: set margin for overview

[Christian Hergert <chergert src gnome org>]

commit f490d6d5a7ba0c3b1f52c0007aadcbc3784cd900
Author: Christian Hergert <chergert redhat com>
Date:   Sat Apr 2 11:58:29 2022 -0700

    libide/editor: set margin for overview

 src/libide/editor/ide-editor-page.ui | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/libide/editor/ide-editor-page.ui b/src/libide/editor/ide-editor-page.ui
index 538b3a7b3..88d87eb0c 100644
--- a/src/libide/editor/ide-editor-page.ui
+++ b/src/libide/editor/ide-editor-page.ui
@@ -27,6 +27,7 @@
                     <property name="reveal-child">true</property>
                     <child>
                       <object class="GtkSourceMap" id="map">
+                        <property name="left-margin">6</property>
                         <property name="view">view</property>
                       </object>
                     </child>