[gnome-builder/wip/gtk4-port: 464/736] libide/sourceview: fix margin

[Christian Hergert <chergert src gnome org>]

commit 40b9bf0f48f6008ee0341e59c84b269e9706c5c0
Author: Christian Hergert <chergert redhat com>
Date:   Wed Apr 6 18:18:14 2022 -0700

    libide/sourceview: fix margin

 src/libide/sourceview/ide-source-view.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/libide/sourceview/ide-source-view.c b/src/libide/sourceview/ide-source-view.c
index 0642624bb..5f0e59bb6 100644
--- a/src/libide/sourceview/ide-source-view.c
+++ b/src/libide/sourceview/ide-source-view.c
@@ -315,7 +315,7 @@ ide_source_view_scroll_to_insert (IdeSourceView *self)
   mark = gtk_text_buffer_get_insert (buffer);
 
   /* TODO: use margin to implement  "scroll offset" */
-  gtk_text_view_scroll_to_mark (view, mark, .5, FALSE, .0, .0);
+  gtk_text_view_scroll_to_mark (view, mark, .25, FALSE, .0, .0);
 }
 
 void