GitLab

dos_menubar_clock, dos_hyper_key, dos_super_key, dos_keypad_mode,
dos_keyboard_layout, dos_decimal_point): New variables.