gtksource.hover_provider_mixin
Module for [HoverProvider] interface mixin
Templates 2
tmplHoverProviderT()
Interface to populate interactive tooltips.
[gtksource.hover_provider.HoverProvider] is an interface that should be implemented to extend the contents of a class@HoverDisplay. This is typical in editors that interact external tooling such as those utilizing Language Server Protocol.
If you can populate the class@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.
Functions
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)
tmplHoverProviderGidBuilderT()