add option to let ctrl override shift/gui for the GRAVE_ESC.
This enables the ctrl+shift+esc shortcut to task manager on windows.sid
parent
e966854a65
commit
7b8eed9f29
Loading…
Reference in New Issue