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

[Christian Hergert <chergert src gnome org>]

commit 5ff2300343c16f0eabeda6d60dbd822092c87f00
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>