Minor Feature Request: Hide time slider


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!


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). :slight_smile: