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.

2 Likes

Hmmm …

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

https://en.wikipedia.org/wiki/AltGr_key

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

3 Likes

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