pub const HOTKEYF_ALT: u32 = 4u32;