[MPlayer-dev-eng] [PATCH] GUI: Enhancement to r35555

[Ingo Brückl]

Hans-Dieter Kosch wrote on Sat, 08 Dec 2012 23:31:27 +0100:

> If the current file is still present in the list, playback continues with
> adjusted position.

I've considered this in r35555, but we don't know anything about the files
before the present one. These might have changed, too, so it's best to
restart playback, because I don't think it's worth to check the list of file
before it. (The reason for r35555 was to allow adding to the playlist while
playing, not to change it at this stage.)

Ingo