GtkSource.Hover.hover_delay – gtksourceview-5 Reference Manual
hover_delay
Description:
[
NoAccessorMethod
]
public
uint
hover_delay
{
get
;
set
; }
Contains the number of milliseconds to delay before showing the hover assistant.
2022 vala-language.org