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

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

The accessor for the gtk-double-click-time slot of the gtk:settings class gets or sets the maximum time allowed between two clicks for them to be considered a double click, in milliseconds.