Settings.gtkDoubleClickTime
int gtkDoubleClickTime() @propertyNo documentation available for this declaration.
void gtkDoubleClickTime(int propval) @propertyNo documentation available for this declaration.
int gtkDoubleClickTime() @propertyvoid gtkDoubleClickTime(int propval) @property