From bba00c133dfab0f681c997e2d986e9af344b4a1e Mon Sep 17 00:00:00 2001 From: Dudemanguy Date: Fri, 8 May 2020 11:34:20 -0500 Subject: manpage: document a couple of wayland options --wayland-edge-pixels-pointer and --wayland-edge-pixels-touch were both left out of the manual. --- DOCS/man/options.rst | 9 +++++++++ 1 file changed, 9 insertions(+) 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=`` + 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=`` + Defines the size of an edge border (default: 64) to initiate client side + resizes events in the wayland contexts with touch events. + ``--spirv-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`. -- cgit v1.2.3