gedit的安装及插件使用

安装或升级gedit

$ apt-get install gedit

安装gedit插件

$ apt-get install gedit-plugins

安装插件完毕，可以在gedit的选项--插件里看到安装的插件。

Embedded terminal的字体和背景颜色怎么设置？

编辑这个文件 /usr/lib/gedit/plugins/terminal.py
搜索：
fg = context.get_color(Gtk.StateFlags.NORMAL)
bg = context.get_background_color(Gtk.StateFlags.NORMAL)

替换为：（fg是前景色，bg是背景色）

fg = Gdk.RGBA(0, 0, 0, 1)

bg = Gdk.RGBA(1, 1, 1, 1)

如果要使用源代码，编译安装gedit是一个大工程。。。

gedit依赖包

sudo apt-get build-dep gedit

Python-3.3.2.tar.xz

intltool-0.50.2.tar.gz

XML-Parser-2.41.tar.gz

gettext-0.18.3.tar.gz

enchant-1.6.0.tar.xz