Shannon Booth 529a65c283 WSWindowManager: Improve opening and closing the system menu ...

The system menu can now be opened by pressing the window key even while
in a focused window. The current menu can also now be closed by pressing
escape.

We still cannot navigate a menu using arrow keys while there is an
active window, but this is another step towards that.

2020-01-11 18:58:59 +01:00

45 KiB

Raw Blame History

View Raw