Class Hover

java.lang.Object
All Implemented Interfaces:
Proxy

@Generated("io.github.jwharm.JavaGI") public class Hover extends GObject
Interactive tooltips.

GtkSourceHover allows a View to provide contextual information. When enabled, if the user hovers over a word in the text editor, a series of registered HoverProvider can populate a HoverDisplay with useful information.

To enable call View.getHover() and add HoverProvider using addProvider(org.gnome.gtksourceview.HoverProvider). To disable, remove all registered providers with removeProvider(org.gnome.gtksourceview.HoverProvider).

You can change how long to wait to display the interactive tooltip by setting the Hover:hover-delay property in milliseconds.