give the bottom a little more padding on win32

This commit is contained in:
Damien Elmes 2011-12-21 10:00:39 +09:00
parent 6326eadda2
commit 24c36e5bdb

View file

@ -5,7 +5,7 @@
import time, os, stat, shutil, difflib, simplejson, re import time, os, stat, shutil, difflib, simplejson, re
import unicodedata as ucd import unicodedata as ucd
from aqt.qt import * from aqt.qt import *
from anki.utils import fmtTimeSpan, stripHTML from anki.utils import fmtTimeSpan, stripHTML, isWin
from anki.hooks import addHook, runHook, runFilter from anki.hooks import addHook, runHook, runFilter
from anki.sound import playFromText, clearAudioQueue, hasSound from anki.sound import playFromText, clearAudioQueue, hasSound
from aqt.utils import mungeQA, getBase, shortcut from aqt.utils import mungeQA, getBase, shortcut
@ -30,7 +30,10 @@ class Reviewer(object):
self.mw.keyHandler = self._keyHandler self.mw.keyHandler = self._keyHandler
self.web.setLinkHandler(self._linkHandler) self.web.setLinkHandler(self._linkHandler)
self.web.setKeyHandler(self._catchEsc) self.web.setKeyHandler(self._catchEsc)
self.bottom.web.setFixedHeight(46) if isWin:
self.bottom.web.setFixedHeight(52)
else:
self.bottom.web.setFixedHeight(46)
self.bottom.web.setLinkHandler(self._linkHandler) self.bottom.web.setLinkHandler(self._linkHandler)
self.nextCard() self.nextCard()