大多数人可能都知道,在 Ubuntu 16.04 LTS 中,rgedit 插件在 gedit 中不再起作用。有人建议将 gedit 降级到 3.10.4 版本,但对我来说不起作用,尽管菜单栏上出现了额外的 R 菜单和图标。有些人建议改用 pluma。现在的问题是如何将 rgedit 插件添加到 pluma?我尝试过“.local/share/pluma/plugins”和其他方法,但完全没有成功。pluma 有自己的插件吗?
大多数人可能都知道,在 Ubuntu 16.04 LTS 中,rgedit 插件在 gedit 中不再起作用。有人建议将 gedit 降级到 3.10.4 版本,但对我来说不起作用,尽管菜单栏上出现了额外的 R 菜单和图标。有些人建议改用 pluma。现在的问题是如何将 rgedit 插件添加到 pluma?我尝试过“.local/share/pluma/plugins”和其他方法,但完全没有成功。pluma 有自己的插件吗?