[gtksourceview/wip/chergert/hoverers] allow scrolling when popover is displayed

[Christian Hergert <chergert src gnome org>]

commit 9720fe5f2ae4aa846bf2c834468bfb3c6db7e8c8
Author: Christian Hergert <chergert redhat com>
Date:   Wed Mar 10 09:33:20 2021 -0800

    allow scrolling when popover is displayed

 gtksourceview/gtksourcehoverassistant.c | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
---
diff --git a/gtksourceview/gtksourcehoverassistant.c b/gtksourceview/gtksourcehoverassistant.c
index 74bf8818..0512dd9c 100644
--- a/gtksourceview/gtksourcehoverassistant.c
+++ b/gtksourceview/gtksourcehoverassistant.c
@@ -94,6 +94,20 @@ gtk_source_hover_assistant_motion_cb (GtkSourceHoverAssistant  *self,
        }
 }
 
+static gboolean
+gtk_source_hover_assistant_scroll_cb (GtkSourceHoverAssistant  *self,
+                                      double                    dx,
+                                      double                    dy,
+                                      GtkEventControllerScroll *controller)
+{
+       g_assert (GTK_SOURCE_IS_HOVER_ASSISTANT (self));
+       g_assert (GTK_IS_EVENT_CONTROLLER_SCROLL (controller));
+
+       gtk_widget_hide (GTK_WIDGET (self));
+
+       return GDK_EVENT_PROPAGATE;
+}
+
 static void
 gtk_source_hover_assistant_dispose (GObject *object)
 {
@@ -121,6 +135,7 @@ static void
 gtk_source_hover_assistant_init (GtkSourceHoverAssistant *self)
 {
        GtkEventController *motion;
+       GtkEventController *scroll;
 
        gtk_widget_add_css_class (GTK_WIDGET (self), "hover-assistant");
 
@@ -140,6 +155,14 @@ gtk_source_hover_assistant_init (GtkSourceHoverAssistant *self)
                                 self,
                                 G_CONNECT_SWAPPED);
        gtk_widget_add_controller (GTK_WIDGET (self), motion);
+
+       scroll = gtk_event_controller_scroll_new (GTK_EVENT_CONTROLLER_SCROLL_BOTH_AXES);
+       g_signal_connect_object (scroll,
+                                "scroll",
+                                G_CALLBACK (gtk_source_hover_assistant_scroll_cb),
+                                self,
+                                G_CONNECT_SWAPPED);
+       gtk_widget_add_controller (GTK_WIDGET (self), scroll);
 }
 
 GtkSourceAssistant *