Gtk.Settings.gtk_double_click_time – gtk+-3.0 Reference Manual
gtk_double_click_time
Description:
[
NoAccessorMethod
]
public
int
gtk_double_click_time
{
get
;
set
; }
2022 vala-language.org