Save position-on-quit and allow jumping to it
|Reported by:||humdinger||Owned by:||stippi|
This is hrev38627.
MediaPlayer could save the playback position as attribute to a file when playback is quit (either when MediaPlayer is quit or the file is replaced by another e.g. via drag&drop or when skipped by in a playlist).
This marker is shown in MediaPlayer's progress bar, e.g. as a coloured dot maybe with a tooltip "Last position".
There could be a menu item added to jump to that position.
Maybe it's enough, however, to make that dot slightly magnetic to easily scrub to it by dragging the progress-slider with the mouse.
Note, this changes nothing of the current behavior: Launching MediaPlayer will still continue playing the last file from the position it left off. Launching a file (e.g. by double-click) will still start from the beginning; the user has to manually jump to the last-position-dot.