Minor Feature Request: Hide time slider

[souqil]

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!

[devos50]

Thank you for your suggestion! To make us better aware of issues, I would like to ask you to create a new issue on our GitHub repository (see https://github.com/tribler/tribler/issues).