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

delete mediamissing tags before setting

Browse source
This commit is contained in:
Damien Elmes 2010-03-28 10:18:13 +09:00
parent 465a890bcd
commit 7f75364fbe
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
anki/media.py
View file

@ -195,11 +195,11 @@ def rebuildMediaDir(deck, deleteRefs=False, dirty=True):
# fix tags # fix tags
deck.updateProgress(_("Update tags...")) deck.updateProgress(_("Update tags..."))
if dirty: if dirty:
deck.deleteTags(unmodifiedFacts.keys(), _("MediaMissing"))
if deleteRefs: if deleteRefs:
deck.deleteTags(modifiedFacts.keys(), _("MediaMissing")) deck.deleteTags(modifiedFacts.keys(), _("MediaMissing"))
else: else:
deck.addTags(factsMissingMedia.keys(), _("MediaMissing")) deck.addTags(factsMissingMedia.keys(), _("MediaMissing"))
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"))