Constant DOUBLE_CLICK_DURATION 

pub const DOUBLE_CLICK_DURATION: Duration;