Constant HOTKEY_FLAG_STAYS_OPEN 

pub const HOTKEY_FLAG_STAYS_OPEN: u32 = 1;