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
