informative: set GtkPopover:autohide to FALSE
informative: set GtkPopover:autohide to FALSE

We don't need this anymore, so just disable autohide like we do in the
GtkSourceHoverAssistant.

GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview