mpv/player
Avi Halachmi (:avih) 24d6961833 command: mouse: generate MOUSE_{ENTER,LEAVE} if required
Previously the mouse command never ended up in enter/leave keypresses
for the default section even when logically required, because input.c
does not know the area of the default section and relies on something
feeding it ENTER/LEAVE presses - which the VO typically does but the
mouse command didn't.

Now the mouse command feeds it ENTER/LEAVE if required.

It's possible to handle it differently and more consistently by:
1. reverting this commit.
2. Updating the default section area whenever the osd dimensions change.
3. Always ignore MOUSE_ENTER keys because the position is not known yet
   (but MOSE_MOVE typically follows right away).
4. On mouse move: first generate ENTER/LEAVE if required.

That would guarantee consistency between mouse position and enter/leave
events but could be more sensitive to manage (the default section has
"infinite" area which is used to capture any event outside of specific
section areas), while this commit keeps consistency same as before and
depending on correct external feeding - which we now do better, even if
still not optimally (like before, it's still technically possible that
a script recieves MOUSE_ENTER and then reads the position before it got
updated after the ENTER).
2020-11-16 20:29:58 +02:00
..
javascript lua/js: mp.get_mouse_pos: use the mouse-pos property 2020-11-16 20:29:58 +02:00
lua lua/js: mp.get_mouse_pos: use the mouse-pos property 2020-11-16 20:29:58 +02:00
audio.c player: fix another nightmarish corner case 2020-10-08 00:36:41 +02:00
client.c client API: inactivate the opengl_cb API 2020-09-03 14:52:11 +02:00
client.h
command.c command: mouse: generate MOUSE_{ENTER,LEAVE} if required 2020-11-16 20:29:58 +02:00
command.h command: add internal INPUT_PROCESSED event 2020-11-16 20:29:58 +02:00
configfiles.c command: add delete-watch-later-config 2020-10-22 19:53:35 +00:00
core.h command: add delete-watch-later-config 2020-10-22 19:53:35 +00:00
external_files.c player: fix external cover file prioritization 2020-10-28 18:15:34 +01:00
external_files.h player: add automatic loading of external cover art files 2020-09-28 00:12:52 +02:00
javascript.c lua/js: mp.get_mouse_pos: use the mouse-pos property 2020-11-16 20:29:58 +02:00
loadfile.c player: cosmetically change around some code 2020-09-28 00:14:54 +02:00
lua.c lua/js: mp.get_mouse_pos: use the mouse-pos property 2020-11-16 20:29:58 +02:00
main.c build: change filenames of generated files 2020-06-04 16:59:05 +02:00
misc.c audio: refactor how data is passed to AO 2020-08-29 13:12:32 +02:00
osd.c
playloop.c command: add internal INPUT_PROCESSED event 2020-11-16 20:29:58 +02:00
screenshot.c screenshot: add --screenshot-sw option 2020-10-05 00:16:46 +02:00
screenshot.h
scripting.c auto_profiles: add this script 2020-08-05 22:37:47 +02:00
sub.c
video.c player: let frontend decide whether to use cover-art mode 2020-09-28 00:04:21 +02:00