mpv-player/mpv — pull request #802 by m007850 (2014-05-24 16:53:10+00:00)
Title: options: Add save-position-always option

I wanted an option to save playback position always, not only when quitting normally, so I tried implementing it. I'm not sure if every argument added in the statement is necessary, but I thought if I want it to absolutely always save the position I'll put them all in.