gtksource.hover
Module for [Hover] class
Types 3
classHover : gobject.object.ObjectWrap
Interactive tooltips.
[gtksource.hover.Hover] allows a class@View to provide contextual information. When enabled, if the user hovers over a word in the text editor, a series of registered iface@HoverProvider can populate a class@HoverDisplay with useful information.
To enable call [gtksource.view.View.getHover] and add iface@HoverProvider using [gtksource.hover.Hover.addProvider]. To disable, remove all registered providers with [gtksource.hover.Hover.removeProvider].
You can change how long to wait to display the interactive tooltip by setting the property@Hover:hover-delay property in milliseconds.
Methods
HoverGidBuilder builder()Get builder for [gtksource.hover.Hover] Returns: New builder objectuint hoverDelay() @propertyGet `hoverDelay` property. Returns: Contains the number of milliseconds to delay before showing the hover assistant.void hoverDelay(uint propval) @propertySet `hoverDelay` property. Params: propval = Contains the number of milliseconds to delay before showing the hover assistant.void addProvider(gtksource.hover_provider.HoverProvider provider)void removeProvider(gtksource.hover_provider.HoverProvider provider)Methods
T hoverDelay(uint propval)Set `hoverDelay` property. Params: propval = Contains the number of milliseconds to delay before showing the hover assistant. Returns: Builder instance for fluent chaining