widgetry::event

Constant MAX_DOUBLE_CLICK_DURATION

Source 
const MAX_DOUBLE_CLICK_DURATION: Duration;