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: