Example #1
0
 def refresh(self) -> None:
     self._refresh_needed = False
     self.mw.col.reset()
     self._renderPage()
     self._renderBottom()
     self.mw.web.setFocus()
     gui_hooks.overview_did_refresh(self)
Example #2
0
 def refresh(self):
     self.mw.col.reset()
     self._renderPage()
     self._renderBottom()
     self.mw.web.setFocus()
     gui_hooks.overview_did_refresh(self)