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

remove space from missing media tag

Browse source
This commit is contained in:
Damien Elmes 2009-02-24 01:23:47 +09:00
parent 529ddef63a
commit 94f7775b7f
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
anki/media.py
View file

@ -173,10 +173,10 @@ def rebuildMediaDir(deck, deleteRefs=False, dirty=True):
deck.updateProgress(_("Update tags...")) deck.updateProgress(_("Update tags..."))
if dirty: if dirty:
if deleteRefs: if deleteRefs:
deck.deleteTags(modifiedFacts.keys(), _("Media Missing")) deck.deleteTags(modifiedFacts.keys(), _("MediaMissing"))
else: else:
deck.addTags(factsMissingMedia.keys(), _("Media Missing")) deck.addTags(factsMissingMedia.keys(), _("MediaMissing"))
deck.deleteTags(unmodifiedFacts.keys(), _("Media Missing")) deck.deleteTags(unmodifiedFacts.keys(), _("MediaMissing"))
# build cache of db records # build cache of db records
deck.updateProgress(_("Delete unused files...")) deck.updateProgress(_("Delete unused files..."))
mediaIds = dict(deck.s.all("select filename, id from media")) mediaIds = dict(deck.s.all("select filename, id from media"))