Adjust displayed times values to match playback speed

[13048]

Currently displayed times for current playback position and end playback time are always displayed as their x1.0 playback speed values.

It would be a nice feature if these figures matched your set playback speed

e.g.

if playing at x1.5 speed

30 minute into a 60 minute file

would instead display as the real listening value of

20 minute into a 40 minute file

so time values are divided by playback

30/1.5 = 20

etc