diff options
| author | Dudemanguy <random342@airmail.cc> | 2023-03-07 11:24:53 -0600 |
|---|---|---|
| committer | Dudemanguy <random342@airmail.cc> | 2023-03-08 14:06:22 +0000 |
| commit | 9880b06a376b5183d677fda495f4d2dc2c933ce9 (patch) | |
| tree | c67e49d4ff0916abbc297d789085aba1dd17411b /DOCS/man/options.rst | |
| parent | b313a242c24637484a68c29ee679f45432d85bb7 (diff) | |
| download | mpv-9880b06a376b5183d677fda495f4d2dc2c933ce9.tar.bz2 mpv-9880b06a376b5183d677fda495f4d2dc2c933ce9.tar.xz | |
wayland: make wayland-edge-pixels-pointer default to 16
10 is ludicrously small. How did no one on an CSD compositor complain
about this?
Diffstat (limited to 'DOCS/man/options.rst')
| -rw-r--r-- | DOCS/man/options.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst index d87191d83e..37bc63c729 100644 --- a/DOCS/man/options.rst +++ b/DOCS/man/options.rst @@ -5648,7 +5648,7 @@ them. ``video-sync=display-desync``, ``--no-audio``, and ``--untimed=yes``. ``--wayland-edge-pixels-pointer=<value>`` - Defines the size of an edge border (default: 10) to initiate client side + Defines the size of an edge border (default: 16) 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. |