Re: fs#10766

[Dave Hooper]

Using pause to reset sounds ideal to me. Would it also pause, though, or
just 'secretly' cancel the search? For consistency, it probably should also
pause; otherwise you never know for certainty whether the pause button will
pause playback which is not user-friendly.