From 24c36e5bdb039a3bb806995482175278e9164683 Mon Sep 17 00:00:00 2001 From: Damien Elmes Date: Wed, 21 Dec 2011 10:00:39 +0900 Subject: [PATCH] give the bottom a little more padding on win32 --- aqt/reviewer.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/aqt/reviewer.py b/aqt/reviewer.py index 422dde2f2..956fc0970 100644 --- a/aqt/reviewer.py +++ b/aqt/reviewer.py @@ -5,7 +5,7 @@ import time, os, stat, shutil, difflib, simplejson, re import unicodedata as ucd 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.sound import playFromText, clearAudioQueue, hasSound from aqt.utils import mungeQA, getBase, shortcut @@ -30,7 +30,10 @@ class Reviewer(object): self.mw.keyHandler = self._keyHandler self.web.setLinkHandler(self._linkHandler) 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.nextCard()