Allow automatic backward skip of a configurable number of seconds on pause (#134).
This allows the user to select a "back skip" operation so that resume after pause provides some context to playback that was last interrupted.
The first patch provides a fixed, five second, skip back duration.
The second patch makes the duration of the skip back period user configurable (in settings).
The default duration for the second patch is zero seconds. This preserves current behavior unless the user specifically enables the feature.
Closes #134 (closed)
Edited by Ryan Harg