[gnome-builder/wip/gtk4-port: 449/1774] libide/sourceview: fix margin

[Christian Hergert <chergert src gnome org>]

commit b76e337e45b0fc001708fd8ce242e564db0e94f8
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