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

use a better font for field names

Browse source
This commit is contained in:
Damien Elmes 2012-04-24 03:10:23 +09:00
parent db64251026
commit 35b366872b
1 changed files with 7 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
aqt/editor.py
View file

@ -10,7 +10,7 @@ from anki.hooks import runHook, runFilter
from aqt.sound import getAudio
from aqt.webview import AnkiWebView
from aqt.utils import shortcut, showInfo, showWarning, getBase, getFile, \
openHelp
openHelp, fontForPlatform
import aqt
import anki.js
from BeautifulSoup import BeautifulSoup
@ -36,7 +36,8 @@ _html = """
clear: both;
visibility: hidden;
}
.fname { font-size: 12px; vertical-align: middle; padding: 0; }
.fname { font-size: 10px; vertical-align: middle; padding: 0;
font-family: "%s"; }
#dupes { font-size: 12px; }
img { max-width: 100%%; max-height: 90%%; }
body { margin: 5px; }
@ -487,10 +488,10 @@ class Editor(object):
self.currentField = 0
# change timer
if self.note:
self.web.setHtml(_html % (getBase(self.mw.col), anki.js.jquery,
(isMac or isWin) and 1 or 0,
_("Show Duplicates")),
loadCB=self._loadFinished)
self.web.setHtml(_html % (
getBase(self.mw.col), fontForPlatform(), anki.js.jquery,
(isMac or isWin) and 1 or 0,
_("Show Duplicates")), loadCB=self._loadFinished)
self.updateTagsAndDeck()
self.updateKeyboard()
else: