mpv/player
wm4 68201f4591 player: make refresh seeks slightly more robust
Refresh seeks are automatically issued when changing filters, which
improves user experience if these filters change buffering or such.

The refresh seek could actually overwrite a previously ongoing seek:

	set pause yes
	set time-pos 10
	set vf ""

Here, the video code issued a refresh seek to the previous video
position, which could be different from the previously triggered (and
still ongoing) seek, this overwriting the seek.

Factor all refresh seek handling into a new function, and make it handle
ongoing seeks correctly.

Remove the weird new canonical_pts field, which actually had no use.

Fixes #4757.
2017-08-14 14:02:13 +02:00
..
javascript js: add javascript scripting support using MuJS 2017-06-14 12:29:32 +02:00
lua ytdl_hook: support fragments with relative paths 2017-08-06 13:27:53 +01:00
audio.c player: make refresh seeks slightly more robust 2017-08-14 14:02:13 +02:00
client.c client API: change mpv_create() behavior, run init always on mpv thread 2017-06-30 13:14:39 +02:00
client.h
command.c player: make --lavfi-complex changeable at runtime 2017-08-12 23:10:40 +02:00
command.h player: change license of most core files to LGPL 2017-06-23 16:55:02 +02:00
configfiles.c player: change default section when loading encoding-profiles.conf 2017-07-12 13:11:14 +02:00
core.h player: make refresh seeks slightly more robust 2017-08-14 14:02:13 +02:00
external_files.c player: readd smi subtitle extension 2017-08-08 11:37:04 +02:00
external_files.h external_files: change license to LGPL 2017-06-20 14:22:10 +02:00
javascript.c js: utils.getenv(): fix crash on undefined var 2017-07-06 18:11:24 +03:00
lavfi.c player: make --lavfi-complex changeable at runtime 2017-08-12 23:10:40 +02:00
lavfi.h player: make --lavfi-complex changeable at runtime 2017-08-12 23:10:40 +02:00
loadfile.c player: make refresh seeks slightly more robust 2017-08-14 14:02:13 +02:00
lua.c scripting: expand --script filename for C plugins 2017-06-09 19:42:12 +02:00
main.c player: change license of most core files to LGPL 2017-06-23 16:55:02 +02:00
misc.c player: make refresh seeks slightly more robust 2017-08-14 14:02:13 +02:00
osd.c player: change license of most core files to LGPL 2017-06-23 16:55:02 +02:00
playloop.c player: make refresh seeks slightly more robust 2017-08-14 14:02:13 +02:00
screenshot.c
screenshot.h
scripting.c scripting: add wrapper to load scripts with user paths 2017-06-30 15:03:10 +01:00
sub.c player: change license of most core files to LGPL 2017-06-23 16:55:02 +02:00
video.c player: make refresh seeks slightly more robust 2017-08-14 14:02:13 +02:00