New "Mini-Mode" (Condensed View) User Interface

The keyboard shortcuts that we have defined had some issues on keyboards which have AltGr keys. Since the shortcuts cannot be customized, we always disable keyboard shortcuts on keyboards which have AltGr.


Hmmm …

There are A LOT people with Alt Gr on their keyboards …

How about changing them to something more compatible? Or making them customizable?


Some of the hotkey combinations clashed with the existing system hotkeys on Alt Gr keyboards. Customizable hotkeys has been an option. Compared to other features, we have kept it at lower priority.

1 Like