gtk:settings-gtk-double-click-time (object)

object -- a gtk:settings object
setting -- an integer with the maximum time allowed between two clicks

Accessor of the gtk-double-click-time slot of the gtk:settings class. Maximum time allowed between two clicks for them to be considered a double click, in milliseconds.