Display.setDoubleClickTime

void setDoubleClickTime(uint msec)

Sets the double click time (two clicks within this time interval count as a double click and result in a #GDK_2BUTTON_PRESS event). Applications should not set this, it is a global user-configured setting.

Parameters

msec double click time in milliseconds (thousandths of a second)