update due counts every 10 minutes while on overview/decklist

This commit is contained in:
Damien Elmes 2012-04-22 09:29:15 +09:00
parent 8ea44cb3bf
commit 8b0f73a960
3 changed files with 18 additions and 1 deletions

View file

@ -25,6 +25,9 @@ class DeckBrowser(object):
self.mw.keyHandler = self._keyHandler self.mw.keyHandler = self._keyHandler
self._renderPage() self._renderPage()
def refresh(self):
self._renderPage()
# Event handlers # Event handlers
########################################################################## ##########################################################################

View file

@ -64,6 +64,7 @@ class AnkiQt(QMainWindow):
self.setupSignals() self.setupSignals()
self.setupAutoUpdate() self.setupAutoUpdate()
self.setupSchema() self.setupSchema()
self.setupRefreshTimer()
self.updateTitleBar() self.updateTitleBar()
# screens # screens
self.setupDeckBrowser() self.setupDeckBrowser()
@ -784,6 +785,19 @@ the timezone or daylight savings information is incorrect. Please correct \
the problem and restart Anki.""") the problem and restart Anki.""")
self.app.closeAllWindows() self.app.closeAllWindows()
# Count refreshing
##########################################################################
def setupRefreshTimer(self):
# every 10 minutes
self.progress.timer(10*60*1000, self.onRefreshTimer, True)
def onRefreshTimer(self):
if self.state == "deckbrowser":
self.deckbrowser.refresh()
elif self.state == "overview":
self.overview.refresh()
# Schema modifications # Schema modifications
########################################################################## ##########################################################################

View file

@ -24,13 +24,13 @@ class Overview(object):
self.web.setLinkHandler(self._linkHandler) self.web.setLinkHandler(self._linkHandler)
self.web.setKeyHandler(None) self.web.setKeyHandler(None)
self.mw.keyHandler = self._keyHandler self.mw.keyHandler = self._keyHandler
self.mw.web.setFocus()
self.refresh() self.refresh()
def refresh(self): def refresh(self):
self.mw.col.reset() self.mw.col.reset()
self._renderPage() self._renderPage()
self._renderBottom() self._renderBottom()
self.mw.web.setFocus()
# Handlers # Handlers
############################################################ ############################################################