使gedit嵌入式终端颜色与默认终端相同
我刚刚更新到11.10,现在我的gedit嵌入式终端与我的默认终端不匹配。 我讨厌看一个白色和黑色的终端。 有谁知道如何使嵌入式终端匹配默认终端?
这是一个截图:
我希望gedit中的嵌入式终端与我的默认终端匹配。
-
确保安装了以下软件包:
-
dconf工具
-
gconf编辑
-
-
打开
gconf-editor
并导航到apps➜gnome-terminal并选择一个配置文件: -
现在打开
dconf-editor
并导航到dconf-editor
终端并取消选中use-theme-colors键: -
从gconf-editor,复制的值
- 背景颜色
- 前景色
- 调色板
转到dconf-editor中的相应键。 嵌入式终端现在应该匹配常规的gnome-terminal。
这是针对gedit 3
同样问题这里白色浅灰色。
我手动编辑了/usr/lib/gedit/plugins/terminal.py
。 使用的终端是xterm。
搜索:
fg = context.get_color(Gtk.StateFlags.NORMAL) bg = context.get_background_color(Gtk.StateFlags.NORMAL)
我换了
fg = Gdk.RGBA(0, 0, 0, 1) bg = Gdk.RGBA(1, 1, 1, 1)
信息: fg
=黑色文字, bg
=白色背景
确保你没有勾选使用系统主题中的颜色然后它应该工作:
打开gconf-editor
并转到apps->gnome-terminal->profiles->Default
- 取消选中use-theme-colors选项。
- 设置前景色:#FFFFFF
- 设置背景颜色:#000000
这会将文本设置为白色,背景设置为黑色。 它会为终端和嵌入式终端设置这个,如果你想为每个终端使用不同的颜色,那么就这样做。
打开gconf-editor
并转到apps->gedit-2->plugins
- 创建一个名为use_theme_colors的新密钥
- 将类型设置为:Boolean
- 将值设置为:False
- 创建一个名为foreground_color的新密钥
- 将类型设置为:String
- 将值设置为:#FFFFFF
- 创建一个名为background_color的新密钥
- 将类型设置为:String
- 将值设置为:#000000
编辑文件/usr/lib/gedit-2/plugins/terminal.py
在线下:
GCONF_PROFILE_DIR = "/apps/gnome-terminal/profiles/Default"
添加新行:
GCONF_GEDIT_DIR = "/apps/gedit-2/plugins"
然后换行:
if not gconf_get_bool(self.GCONF_PROFILE_DIR + "/use_theme_colors"): fg_color = gconf_get_str(self.GCONF_PROFILE_DIR + "/foreground_color", None) bg_color = gconf_get_str(self.GCONF_PROFILE_DIR + "/background_color", None)
附:
if not gconf_get_bool(self.GCONF_GEDIT_DIR + "/use_theme_colors"): fg_color = gconf_get_str(self.GCONF_GEDIT_DIR + "/foreground_color", None) bg_color = gconf_get_str(self.GCONF_GEDIT_DIR + "/background_color", None)
现在,您只需使用在apps->gedit-2->plugins
创建的键设置嵌入式终端的颜色
检查terminal.py
是否为Ubuntu 16.04,它似乎加载了一些遗留配置文件:
def get_profile_settings(self): profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList") if not profiles: default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/" settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile", default_path) else: settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal") return settings
检查org.gnome.terminal.legacy.profiles:
在dconf-editor
,有这样的配置文件。 删除后用:
dconf reset -f /org/gnome/terminal/legacy/profiles:/
我可以更改org.gnome.gedit.plugins.terminal
设置并让它们生效。 对于background-color
,我不得不首先禁用use-theme-colours
。
在13.04,属性的gconf编辑器路径已更改为:org – > gnome – > gedit – > terminal