diff options
author | wm4 <wm4@nowhere> | 2020-03-21 17:13:33 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2020-03-21 19:32:50 +0100 |
commit | 956a5d9ac61ffe4034abcc81405e8ecdacac8b36 (patch) | |
tree | 1db0e48d5e2197efdf6ee0ab0178ccc6eb4209b7 /TOOLS | |
parent | e9e93b4dbe748cd341a6fbea355e6ba013ada81b (diff) | |
download | mpv-956a5d9ac61ffe4034abcc81405e8ecdacac8b36.tar.bz2 mpv-956a5d9ac61ffe4034abcc81405e8ecdacac8b36.tar.xz |
player: add potentially forgotten property change trigger
Unfortunately, merely changing the playlist current position affects the
flags returned by the "playlist" property, so the entirely thing needs
to be marked as changed. Seems to be a design mistake.
Diffstat (limited to 'TOOLS')
0 files changed, 0 insertions, 0 deletions