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.c | |
| 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.c')
| -rw-r--r-- | mpvcore/options.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mpvcore/options.c b/mpvcore/options.c index c8112b496d..08b1f10fe2 100644 --- a/mpvcore/options.c +++ b/mpvcore/options.c @@ -873,6 +873,7 @@ const struct MPOpts mp_default_opts = { .use_joystick = 1, .use_lirc = 1, .use_lircc = 1, + .use_alt_gr = 1, #if HAVE_COCOA .use_ar = 1, .use_media_keys = 1, |