diff options
| author | Balz Guenat <balz.guenat@gmail.com> | 2017-08-11 18:53:08 +0200 |
|---|---|---|
| committer | Jack Humbert <jack.humb@gmail.com> | 2017-08-11 16:54:10 -0400 |
| commit | 897ceac26cd4ab4d4204e696bf0e94c7dd3914e0 (patch) | |
| tree | 09ef7be063284e48a5c56c1dffd8c98d40ee5502 /util | |
| parent | 88198a96066c926887f3102ddf43d9f513f25941 (diff) | |
add option to let ctrl override shift/gui for the GRAVE_ESC.
This enables the ctrl+shift+esc shortcut to task manager on windows.
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions