diff options
author | wm4 <wm4@nowhere> | 2018-05-19 12:37:37 +0200 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2018-05-24 19:56:35 +0200 |
commit | 562d8e6d3236022a77e49a17948e25e493538f04 (patch) | |
tree | 801a0802af3cf0e0fdec43630dcada7d8c017f32 /player/core.h | |
parent | d7ca95c3ea90782c786a6a607d3713bb42a104b1 (diff) | |
download | mpv-562d8e6d3236022a77e49a17948e25e493538f04.tar.bz2 mpv-562d8e6d3236022a77e49a17948e25e493538f04.tar.xz |
player: simplify edition switching
The player fully restarts playback when the edition or disk title is
changed. Before this, the player tried to reinitialized playback
partially. For example, it did not print a new "Playing: <file>"
message, and did not send playback end to libmpv users (scripts or
applications).
This playback restart code was a bit messy and could have unforeseen
interactions with various state. There have been bugs before. Since it's
a mostly cosmetic thing for an obscure feature, just change it to a full
restart. This works well, though since it may have consequences for
scripts or client API users, mention it in interface-changes.rst.
Diffstat (limited to 'player/core.h')
-rw-r--r-- | player/core.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/player/core.h b/player/core.h index 43fc824e4f..39ea2fe07e 100644 --- a/player/core.h +++ b/player/core.h @@ -43,7 +43,6 @@ enum stop_play_reason { PT_NEXT_ENTRY, // prepare to play next entry in playlist PT_CURRENT_ENTRY, // prepare to play mpctx->playlist->current PT_STOP, // stop playback, clear playlist - PT_RELOAD_FILE, // restart playback PT_QUIT, // stop playback, quit player PT_ERROR, // play next playlist entry (due to an error) }; |