def onCoverWindowDestroy(self, widget, event): """ Destroy the cover window """ if self.coverWindow is not None: self.coverWindow.destroy() self.coverWindow = None self.lastMousePosition = tools.getCursorPosition()
def onCoverTimerTimedOut(self): """ The mouse has been over the cover thumbnail during enough time """ if self.currCoverPath is not None: self.__showCover(*tools.getCursorPosition()) return False