diff options
author | Philip Langdale <philipl@overt.org> | 2019-11-27 07:36:35 +0800 |
---|---|---|
committer | Philip Langdale <github.philipl@overt.org> | 2019-11-29 16:56:20 +0800 |
commit | 5e3eb03ecfc604652705d56c778c08ccead9e64e (patch) | |
tree | 351a508e37467c1074ad55c977d493b90dc71f1b /player/command.c | |
parent | 4c179a27c2fe301d51232934275250b63275f86b (diff) | |
download | mpv-5e3eb03ecfc604652705d56c778c08ccead9e64e.tar.bz2 mpv-5e3eb03ecfc604652705d56c778c08ccead9e64e.tar.xz |
wayland: make the edge grab zone width user configurable
Rather than hard-coding the edge grab zone width, we can make it
user configurable. It seems worthwhile to have separate configs
for pointer and touch usage as the defaults should be different,
and a user might have both input methods in use.
Diffstat (limited to 'player/command.c')
0 files changed, 0 insertions, 0 deletions