Rémi Verschelde 69f08cd2cc Fix shortcuts using KEY_MASK_CTRL instead of KEY_MASK_CMD
KEY_MASK_CMD is automatically replaced by KEY_MASK_CTRL on non-OSX
and KEY_MASK_META (Command key) on OSX, so it should be used for all
Ctrl/Cmd + key shortcuts.

Also de-hacked the macOS shortcut replacements with proper conditional
definition. Not tested on macOS, cannot judge if they are good shortcuts.

Fixes #10761.

(cherry picked from commit 3f09cac267ad351307b4dfcc7e4276ef4347c459)
2019-07-03 12:33:25 +02:00
..
2019-01-03 11:41:35 +01:00
2019-07-03 12:33:25 +02:00
2019-07-03 10:48:19 +02:00