551
551
'motion-notify-event', self.on_mouse_motion)
552
552
self.videobox_motion_handler = self.overlay._window.connect(
553
553
'motion-notify-event', self.on_mouse_motion)
555
556
self.schedule_hide_controls(self.HIDE_CONTROLS_TIMEOUT)
556
557
# make sure all hide() calls go through, otherwise we get the wrong
557
558
# size on windows (#10810)