add option to let ctrl override shift/gui for the GRAVE_ESC.
This enables the ctrl+shift+esc shortcut to task manager on windows.pp_definitions
parent
88198a9606
commit
897ceac26c
Loading…
Reference in New Issue