Hover

class Hover(**properties: Any)

Superclasses: Object

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 get_hover and add HoverProvider using add_provider. To disable, remove all registered providers with remove_provider.

You can change how long to wait to display the interactive tooltip by setting the hover_delay property in milliseconds.

Methods

class Hover

add_provider(provider: HoverProvider) → None

Parameters:

provider

remove_provider(provider: HoverProvider) → None

Parameters:

provider

Properties

class Hover

props.hover_delay: int

The type of the None singleton.