GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-24 16:56:36 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

unused media tooltip patch from julien baley (removed redundant .finish())

Browse source
This commit is contained in:
Damien Elmes 2013-07-24 01:04:37 +09:00
parent 36e877fe12
commit 0254a25c23
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
aqt/main.py
View file

@ -894,7 +894,8 @@ will be lost. Continue?"""))
"Used on cards but missing from media folder:") "Used on cards but missing from media folder:")
report += "\n" + "\n".join(nohave) report += "\n" + "\n".join(nohave)
if not report: if not report:
report = _("No unused or missing files found.") tooltip(_("No unused or missing files found."))
return
# show report and offer to delete # show report and offer to delete
diag = QDialog(self) diag = QDialog(self)
diag.setWindowTitle("Anki") diag.setWindowTitle("Anki")