Constant widgetry::event::MAX_DOUBLE_CLICK_DURATION

const MAX_DOUBLE_CLICK_DURATION: Duration;