Gdk.Display.set_double_click_time Reference Manual
Gdk.Display.set_double_click_time:
Description:
public
void
set_double_click_time (
uint
msec)
created by
valadoc