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 | |
| 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?
| -rw-r--r-- | DOCS/man/options.rst | 2 | ||||
| -rw-r--r-- | video/out/wayland_common.c | 2 |
2 files changed, 2 insertions, 2 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. diff --git a/video/out/wayland_common.c b/video/out/wayland_common.c index bb1a5e672f..b5bfb8b917 100644 --- a/video/out/wayland_common.c +++ b/video/out/wayland_common.c @@ -143,7 +143,7 @@ const struct m_sub_options wayland_conf = { .size = sizeof(struct wayland_opts), .defaults = &(struct wayland_opts) { .configure_bounds = -1, - .edge_pixels_pointer = 10, + .edge_pixels_pointer = 16, .edge_pixels_touch = 32, }, }; |