code: def OnShiftVideo(self, event):
          
  
          length = self.player.get_length()
          time = self.player.get_time()
  
          if event.GetWheelRotation() < 0:
              target_time = max(0, time-length/100.0)
          elif event.GetWheelRotation() > 0:
              target_time = min(length, time+length/100.0)
  
          self.player.set_time(int(target_time))
docs: Shifts through the video