Recover the finer usability points of the original playback widget.

Actually this is better than the original now.