From 9880b06a376b5183d677fda495f4d2dc2c933ce9 Mon Sep 17 00:00:00 2001 From: Dudemanguy Date: Tue, 7 Mar 2023 11:24:53 -0600 Subject: wayland: make wayland-edge-pixels-pointer default to 16 10 is ludicrously small. How did no one on an CSD compositor complain about this? --- DOCS/man/options.rst | 2 +- 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=`` - 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, }, }; -- cgit v1.2.3