[gtksourceview] map: increase scroll acceleration

[Christian Hergert <chergert src gnome org>]

commit 7325e14208ea720716818b5fc3d63e829f53d31a
Author: Christian Hergert <chergert redhat com>
Date:   Sun Jan 17 00:03:48 2021 -0800

    map: increase scroll acceleration
    
    This needs to be faster for general scrobbling. We can improve things
    still further if we get kinetic scrolling implemented at some point.

 gtksourceview/gtksourcemap.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/gtksourceview/gtksourcemap.c b/gtksourceview/gtksourcemap.c
index 29ea73de..96dc4246 100644
--- a/gtksourceview/gtksourcemap.c
+++ b/gtksourceview/gtksourcemap.c
@@ -931,7 +931,7 @@ gtk_source_map_scroll (GtkWidget *widget,
                        gdouble    x,
                        gdouble    y)
 {
-       static const gint scroll_acceleration = 6;
+       static const gint scroll_acceleration = 12;
        GtkSourceMap *map = GTK_SOURCE_MAP (widget);
        GtkSourceMapPrivate *priv;