[gtksourceview] informative: set GtkPopover:autohide to FALSE

[Christian Hergert <chergert src gnome org>]

commit 978b2dec617d3ae5f8f1428243ce4f0d29b28380
Author: Christian Hergert <chergert redhat com>
Date:   Wed Aug 31 17:44:09 2022 -0700

    informative: set GtkPopover:autohide to FALSE
    
    We don't need this anymore, so just disable autohide like we do in the
    GtkSourceHoverAssistant.

 gtksourceview/gtksourceinformative.c | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/gtksourceview/gtksourceinformative.c b/gtksourceview/gtksourceinformative.c
index 378494eb..ebbbbd39 100644
--- a/gtksourceview/gtksourceinformative.c
+++ b/gtksourceview/gtksourceinformative.c
@@ -284,4 +284,5 @@ gtk_source_informative_init (GtkSourceInformative *self)
 {
        gtk_widget_init_template (GTK_WIDGET (self));
 
+       gtk_popover_set_autohide (GTK_POPOVER (self), FALSE);
 }