Minor Feature Request: Hide time slider


#1

I have a minor feature request that would make me love the video player in Tribler even more… can we make the time slider and title at the top & bottom of the player hide when we move the mouse off screen or stop moving it?

Thank you for this awesome software, otherwise!