18.04 中的 Gedit SyncTex 插件

18.04 中的 Gedit SyncTex 插件

我使用 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 进行反向搜索也不起作用,但是控制台不会产生任何消息。

我在网上搜索没找到类似的东西。有什么想法吗?

相关内容