Prevent double syncing when clicking in preview panel

This commit is contained in:
Kovid Goyal 2013-11-19 12:41:04 +05:30
parent 5bcce374b7
commit 20e0781b80

View File

@ -44,6 +44,7 @@ class Boss(QObject):
self.save_manager = SaveManager(parent)
self.save_manager.report_error.connect(self.report_save_error)
self.doing_terminal_save = False
self.ignore_preview_to_editor_sync = False
def __call__(self, gui):
self.gui = gui
@ -503,9 +504,15 @@ class Boss(QObject):
def sync_editor_to_preview(self, name, lnum):
editor = self.edit_file(name, 'html')
self.ignore_preview_to_editor_sync = True
try:
editor.current_line = lnum
finally:
self.ignore_preview_to_editor_sync = False
def sync_preview_to_editor(self):
if self.ignore_preview_to_editor_sync:
return
ed = self.gui.central.current_editor
if ed is not None:
name = None