view: ensure that informative tooltip is dismissed
view: ensure that informative tooltip is dismissed

We need to handle a few more cases to be certain that we've dismissed the
informative popover, particularly so that we can stop using the
GtkPopover:autohide property for it like we do for hover assistant.

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