gtksource.hover_provider
Module for HoverProvider interface
Types 2
interfaceHoverProvider
Interface to populate interactive tooltips.
gtksource.hover_provider.HoverProvider is an interface that should be implemented to extend the contents of a gtksource.hover_display.HoverDisplay. This is typical in editors that interact external tooling such as those utilizing Language Server Protocol.
If you can populate the gtksource.hover_display.HoverDisplay synchronously, use vfunc@HoverProvider.populate. Otherwise, interface implementations that may take additional time should use vfunc@HoverProvider.populate_async to avoid blocking the main loop.
Methods
void populateAsync(gtksource.hover_context.HoverContext context, gtksource.hover_display.HoverDisplay display, gio.cancellable.Cancellable cancellable = null, gio.types.AsyncReadyCallback callback = null)bool populateFinish(gio.async_result.AsyncResult result)interfaceHoverProviderGidBuilderImpl(T)
Fluent builder implementation template for gtksource.hover_provider.HoverProvider