Thibaut Girka a48dbc78f8 Fix hiding video breaking playback
Also make the video player code closer to upstream
2020-11-04 18:53:39 +01:00
..
2020-11-04 18:53:39 +01:00