minor bug: media player positioning while streaming [released]
During audio streaming (e.g. internet stream) you can still position the current play time along the play line. The play line itself doesn't change and stays greyed out correctly.
As the duration is unknown the positioning shouldn't be possible.
Solved with update 10.