diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-11-03 15:49:15 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-11-03 15:49:15 +0200 |
| commit | e7f697a2e11d4cf4b6c7219eaf7e9b61e2598fa8 (patch) | |
| tree | 2f81e62b3d91ac6e5e38c10a123c53a2f1b0b168 /src/ui/playerui.h | |
| parent | 19102c9076cf8790c25edbc72862e8bcd157ad79 (diff) | |
DocumentWidget: Keyboard navigation keys on Mac
Some default key shortcuts use Option on macOS, so avoid those for keyboard navigation.
Diffstat (limited to 'src/ui/playerui.h')
0 files changed, 0 insertions, 0 deletions