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 /DOCS/man/en/input.rst | |
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 'DOCS/man/en/input.rst')
-rw-r--r-- | DOCS/man/en/input.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/DOCS/man/en/input.rst b/DOCS/man/en/input.rst index 7d62784b97..ac93d01105 100644 --- a/DOCS/man/en/input.rst +++ b/DOCS/man/en/input.rst @@ -31,6 +31,10 @@ General Input Command Syntax ``[Shift+][Ctrl+][Alt+][Meta+]<key> [{<section>}] [<prefixes>] <command> (<argument>)* [; <command>]`` +Note that by default, the right Alt key can be used to create special +characters, and thus does not register as a modifier. The option +``--no-right-alt-gr`` changes this behavior. + Newlines always start a new binding. ``#`` starts a comment (outside of quoted string arguments). To bind commands to the ``#`` key, ``SHARP`` can be used. |