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 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.
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)