![18.04 中的 Gedit SyncTex 插件](https://linux22.com/image/1021042/18.04%20%E4%B8%AD%E7%9A%84%20Gedit%20SyncTex%20%E6%8F%92%E4%BB%B6.png)
我使用 ubuntu 软件安装程序的标准选项从 16.04 升级到 18.04,之后 gedit synctex 插件停止工作。我很难找出原因——它无法默默工作,也不会产生任何消息。
我尝试过的方法是:从控制台运行 gedit,然后按住 Ctrl 键单击左键(这应该会触发直接搜索),但在控制台上出现以下错误:
Traceback (most recent call last):
File "/usr/lib/x86_64-linux-gnu/gedit/plugins/synctex/synctex.py", line 104, in on_button_release
self.sync_view(event.time)
File "/usr/lib/x86_64-linux-gnu/gedit/plugins/synctex/synctex.py", line 195, in sync_view
self.window_proxy.SyncView(self.gfile.get_path(), (line, col), time)
AttributeError: 'NoneType' object has no attribute 'SyncView'
从 evince 进行反向搜索也不起作用,但是控制台不会产生任何消息。
我在网上搜索没找到类似的东西。有什么想法吗?