pub const HotkeyPrefixNone: HotkeyPrefix = 0i32;