我们正在使用python为Gedit 3构建一个插件。这个想法是有预设的插件配置和配置,你可以加载或卸载。问题是我们似乎找不到任何有用的文档。有人试过吗?这可行吗?
gedit和gedit插件的所有设置都可以使用GSettings API以及Python自省(PyGObject)进行修改。哪个插件被加载是在关键的org.gnome.gedit.plugins.active-plugins
。所有的编辑设置和插件设置也可以在org.gnome.gedit
下找到,包括一些在首选项对话框中没有出现的设置。
查看这些设置最简单的方法是使用dconf-editor
命令启动Gnome 3配置编辑器。要更改插件中的设置,可以使用GSettings.