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 /mpvcore/options.h | |
| 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 'mpvcore/options.h')
| -rw-r--r-- | mpvcore/options.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mpvcore/options.h b/mpvcore/options.h index 3a4333f891..cb700cb775 100644 --- a/mpvcore/options.h +++ b/mpvcore/options.h @@ -251,6 +251,7 @@ typedef struct MPOpts { int use_joystick; int use_lirc; int use_lircc; + int use_alt_gr; int use_ar; int use_media_keys; int default_bindings; |