Fix refresh timer not being stopped on refresh

This commit is contained in:
Kovid Goyal 2013-11-08 15:50:29 +05:30
parent d99ff84f9c
commit 175d913299

View File

@ -285,6 +285,7 @@ class Preview(QWidget):
def refresh(self):
if self.current_name:
self.refresh_timer.stop()
# This will check if the current html has changed in its editor,
# and re-parse it if so
parse_worker.add_request(self.current_name)