GithubStar/mpv
1
0
Fork 0
mirror of https://github.com/mpv-player/mpv.git synced 2026-10-26 04:59:30 +08:00
Code Issues Packages Projects Releases Wiki Activity

wayland: use wayland-edge-pixels-pointer for tablet input resize zone

Browse Source 
Tablet input is more similar to mouse input than it is to touch input,
so it makes sens to use wayland-edge-pixels-pointer instead. Also
document that it's used for tablet input, previously this was completely
undocumented.
This commit is contained in:
llyyr
2026-03-30 00:32:51 +00:00
committed by Dudemanguy
parent 86b30afea0
commit 51ef7c5960
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
DOCS/man/options.rst
+2 -2
View File
@@ -6335,8 +6335,8 @@ them.
``--wayland-edge-pixels-pointer=<value>``
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.
resize events in the wayland contexts with the mouse or tablet. This is only
active if there are no server side decorations from the compositor.
``--wayland-edge-pixels-touch=<value>``
Defines the size of an edge border (default: 32) to initiate client side
video/out/wayland_common.c
+1 -1
View File
@@ -709,7 +709,7 @@ static void tablet_tool_handle_down(void *data,
enum xdg_toplevel_resize_edge edge;
if (!mp_input_test_dragging(wl->vo->input_ctx, wl->mouse_x, wl->mouse_y) &&
!wl->locked_size && !wl->opts->border &&
check_for_resize(wl, wl->opts->wl_edge_pixels_touch, &edge))
check_for_resize(wl, wl->opts->wl_edge_pixels_pointer, &edge))
{
xdg_toplevel_resize(wl->xdg_toplevel, tablet_tool->seat->seat, serial, edge);
return;