diff options
| author | Vivek Jain <viveksjain@gmail.com> | 2013-11-30 21:23:39 -0800 |
|---|---|---|
| committer | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2013-12-02 09:03:31 +0100 |
| commit | 6fb020f5de1487484712e7113db0e86dd97481bd (patch) | |
| tree | 7561b28161f061d8b6c3a1146f131361b59fd686 /waftools | |
| parent | a74d9c1803462e0f7862f7b0659ab70939b92e15 (diff) | |
| download | mpv-6fb020f5de1487484712e7113db0e86dd97481bd.tar.bz2 mpv-6fb020f5de1487484712e7113db0e86dd97481bd.tar.xz | |
options: add option to disable using right Alt key as Alt Gr
mpv was hardcoded to always consider the right Alt key as Alt Gr, but there
are parituclar combinations of platforms and keyboard layouts where it's more
convenient to treat the right Alt as a keyboard modifier just like the left
one.
Fixes #388
Diffstat (limited to 'waftools')
0 files changed, 0 insertions, 0 deletions