安装Gedit插件包

sudo apt-get install gedit-plugins

#安装Gedit插件包

sudo apt-get install gedit-plugins

gnome 的 terminal 这个插件有bug

gconfig 是 gnome 使用的类似 windows 注册表编辑器的东西,用来配置软件。这个问题可以试试在终端

gsettings set org.gnome.gedit.plugins.terminal background-color '#FFFFDD'

修改 gedit 插件的 颜色。当然你也可以换其他颜色。

我用dconf Editor

这个插件包是做什么的? 修改显示风格?

好多插件的集合…嵌入终端 补全括号 等等

这个插件功能很强大,我喜欢!:4_92: