GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-19 14:32:22 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

fix tooltip bug

Browse source
This commit is contained in:
Damien Elmes 2011-04-29 11:40:43 +09:00
parent 247276b223
commit 9490d7e6cf
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
aqt/utils.py
View file

@ -381,7 +381,11 @@ def tooltip(msg, period=3000):
def closeTooltip(): def closeTooltip():
global _tooltipLabel, _tooltipTimer global _tooltipLabel, _tooltipTimer
if _tooltipLabel: if _tooltipLabel:
_tooltipLabel.deleteLater() try:
_tooltipLabel.deleteLater()
except:
# already deleted as parent window closed
pass
_tooltipLabel = None _tooltipLabel = None
if _tooltipTimer: if _tooltipTimer:
_tooltipTimer.stop() _tooltipTimer.stop()