player: add --keep-open-pause=no option

Instead of pausing if --keep-open is active, stop
at end but continue playing if seeking backwards.
And then stop again when end is reached.

Signed-off-by: wm4 <wm4@nowhere>

Over the PR, the option was renamed, and the manpage additions were
slightly changed/enhanced.

1 files changed, 8 insertions, 0 deletions

diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst
index 7ca4b1d542..5814a41634 100644
--- a/DOCS/man/options.rst
+++ b/DOCS/man/options.rst
@@ -2070,6 +2070,9 @@ Window
     Instead, pause the player. When trying to seek beyond end of the file, the
     player will attempt to seek to the last frame.
 
+    Normally, this will act like ``set pause yes`` on EOF, unless the
+    ``--keep-open-pause=no`` option is set.
+
     The following arguments can be given:
 
     :no:        If the current file ends, go to the next file or terminate.
@@ -2096,6 +2099,11 @@ Window
     file.mkv normally, then fail to open ``/dev/null``, then exit). (In
     mpv 0.8.0, ``always`` was introduced, which restores the old behavior.)
 
+``--keep-open-pause=<yes|no>``
+    If set to ``no``, instead of pausing when ``--keep-open`` is active, just
+    stop at end of file and continue playing forward when you seek backwards
+    until end where it stops again. Default: ``yes``.
+
 ``--image-display-duration=<seconds|inf>``
     If the current file is an image, play the image for the given amount of
     seconds (default: 1). ``inf`` means the file is kept open forever (until