diff options
author | Dudemanguy <random342@airmail.cc> | 2020-05-08 11:34:20 -0500 |
---|---|---|
committer | Dudemanguy <random342@airmail.cc> | 2020-08-12 15:33:06 -0500 |
commit | bba00c133dfab0f681c997e2d986e9af344b4a1e (patch) | |
tree | fd7c0c46c52f409c4b1219089a579fda5339e613 | |
parent | 5dcfe32ff21bf560a27db3a75f773f73afdf6dcf (diff) | |
download | mpv-bba00c133dfab0f681c997e2d986e9af344b4a1e.tar.bz2 mpv-bba00c133dfab0f681c997e2d986e9af344b4a1e.tar.xz |
manpage: document a couple of wayland options
--wayland-edge-pixels-pointer and --wayland-edge-pixels-touch were both
left out of the manual.
-rw-r--r-- | DOCS/man/options.rst | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst index 12a482b062..de4eb08d87 100644 --- a/DOCS/man/options.rst +++ b/DOCS/man/options.rst @@ -5344,6 +5344,15 @@ The following video options are currently all specific to ``--vo=gpu`` and ``--no-audio``, and ``--untimed=yes``. Only works with ``--gpu-context=wayland`` and ``--gpu-context=waylandvk``. +``--wayland-edge-pixels-pointer=<value>`` + Defines the size of an edge border (default: 10) to initiate client side + resize events in the wayland contexts with the mouse. This is only active if + there are no server side decorations from the compositor. + +``--wayland-edge-pixels-touch=<value>`` + Defines the size of an edge border (default: 64) to initiate client side + resizes events in the wayland contexts with touch events. + ``--spirv-compiler=<compiler>`` Controls which compiler is used to translate GLSL to SPIR-V. This is (currently) only relevant for ``--gpu-api=vulkan`` and `--gpu-api=d3d11`. |