[gtksourceview/gtksourceview-4-8] map: scroll without animation

[Christian Hergert <chergert src gnome org>]

commit 7a1b9680e3ff061a169cefda035d2a652635a349
Author: Christian Hergert <chergert redhat com>
Date:   Wed Jul 28 17:56:03 2021 -0700

    map: scroll without animation
    
    Fixes #123 for GtkSourceView 4.x

 gtksourceview/gtksourcemap.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gtksourceview/gtksourcemap.c b/gtksourceview/gtksourcemap.c
index 35362c39..59a91a5c 100644
--- a/gtksourceview/gtksourcemap.c
+++ b/gtksourceview/gtksourcemap.c
@@ -651,8 +651,8 @@ scroll_to_child_point (GtkSourceMap   *map,
                gtk_text_view_get_iter_at_location (GTK_TEXT_VIEW (map),
                                                    &iter, point->x, point->y);
 
-               gtk_text_view_scroll_to_iter (GTK_TEXT_VIEW (priv->view), &iter,
-                                             0.0, TRUE, 1.0, 0.5);
+               _gtk_source_view_jump_to_iter (GTK_TEXT_VIEW (priv->view), &iter,
+                                              0.0, TRUE, 1.0, 0.5);
        }
 }