From 03dff653ab5dd45d9db354707c96bdef611084bd Mon Sep 17 00:00:00 2001 From: Damien Elmes Date: Tue, 23 Jun 2009 06:41:19 +0900 Subject: [PATCH] handle latex too --- anki/media.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/anki/media.py b/anki/media.py index 11099e969..89ec3aa4b 100644 --- a/anki/media.py +++ b/anki/media.py @@ -220,6 +220,7 @@ def mediaRefs(string): return l def downloadMissing(deck): + from anki.latex import renderLatex urls = dict( deck.s.all("select id, features from models where features != ''")) if not urls: @@ -231,6 +232,8 @@ def downloadMissing(deck): for (id, fid, val, mid) in deck.s.all(""" select fields.id, factId, value, modelId from fields, facts where facts.id = fields.factId"""): + # add latex tags + val = renderLatex(deck, val, False) for (full, fname, repl) in mediaRefs(val): if not os.path.exists(os.path.join(mdir, fname)) and mid in urls: missing[fname] = mid