[gedit-plugins/gnome-3-0] synctex: Fix SyncSource when a input_file is not already open.
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit-plugins/gnome-3-0] synctex: Fix SyncSource when a input_file is not already open.
- Date: Tue, 5 Jul 2011 14:01:04 +0000 (UTC)
commit c8212000cfa2bcfff7860ebbe0defe0b161b3d11
Author: Josà Aliste <jaliste src gnome org>
Date: Tue Jul 5 16:01:06 2011 +0200
synctex: Fix SyncSource when a input_file is not already open.
plugins/synctex/synctex/synctex.py | 9 ++++-----
1 files changed, 4 insertions(+), 5 deletions(-)
---
diff --git a/plugins/synctex/synctex/synctex.py b/plugins/synctex/synctex/synctex.py
index 4e3042c..e194428 100644
--- a/plugins/synctex/synctex/synctex.py
+++ b/plugins/synctex/synctex/synctex.py
@@ -179,8 +179,8 @@ class SynctexViewHelper:
self._highlight()
self._window.present_with_time (time)
- def goto_line_after_load(self, a, line):
- self.goto_line(line)
+ def goto_line_after_load(self, a, line, time):
+ self.goto_line(line, time)
self._doc.disconnect(self._goto_handler)
def sync_view(self, time):
@@ -317,12 +317,11 @@ class SynctexPlugin(GObject.Object, Gedit.WindowActivatable):
window.get_data(WINDOW_DATA_KEY).deactivate()
window.set_data(WINDOW_DATA_KEY, None)
- def source_view_handler(self, out_gfile, input_file, source_link, time):
- uri_input = input_file
+ def source_view_handler(self, out_gfile, uri_input, source_link, time):
if uri_input not in SynctexPlugin.view_dict:
window = SynctexPlugin._proxy_dict[out_gfile.get_uri()][2]
- tab = window.create_tab_from_location(input_file,
+ tab = window.create_tab_from_location(Gio.file_new_for_uri(uri_input),
None, source_link[0] - 1, 0, False, True)
helper = tab.get_view().get_data(VIEW_DATA_KEY)
helper._goto_handler = tab.get_document().connect_object("loaded",
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]