github/mpv
1
Fork 0
mirror of https://github.com/mpv-player/mpv synced 2024-11-14 22:48:35 +01:00
Code Releases Activity

wayland: make wayland-edge-pixels-pointer default to 16

Browse Source 
10 is ludicrously small. How did no one on an CSD compositor complain
about this?
This commit is contained in:
Dudemanguy 2023-03-07 11:24:53 -06:00
parent b313a242c2
commit 9880b06a37
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
DOCS/man/options.rst
View File

@ -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.

2
video/out/wayland_common.c
View File

@ -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,
},
};