主页 / ubuntu / 问题 / 796297
Accepted
Tarass
Asked: 2016-07-09 01:52:07 +0800 CST

Gedit嵌入终端颜色

  • 772

我尝试以下这个答案的处方：如何更改 Gedit 嵌入式终端插件颜色？

我在 ubuntu 14.04 和 gedit 3.10.1 上成功使用了它们，没有清除调色板。

对于 16.04 和 gedit 3.18.3，它不起作用。

我尝试清除调色板。如果参数完全是黑色的，总会有一条错误消息。

[] 被接受，但颜色不会改变。

有什么帮助吗？

这里有类似的东西，没有答案：https ://stackoverflow.com/questions/37795936/not-able-to-clear-palette-settings-for-gedit-terminal-plugin-in-dconf-editor-ub

16.04

1 个回答

  1. Best Answer

    从 gedit 终端插件的源代码（/usr/lib/x86_64-linux-gnu/gedit/plugins/terminal.py）看来，这些设置首先是从 /org/gnome/terminal/legacy/profiles 读取的。在我的机器（Ubuntu 16.04）上，有一些键组只包含两个值“scrollback-unlimited”和“use-theme-transparency”。默认配置文件中缺少“前景色”、“背景色”和“调色板”键。

    如果您从 gnome-terminal 创建新配置文件，则终端插件错误地假定所有必需的密钥都存在。要强制创建完整的密钥，您需要在不同的调色板设置之间来回切换，我还必须创建两个配置文件并来回切换“启动新终端时使用的编辑/首选项/配置文件/配置文件”（这确保键 org.gnome.terminal.legacy.profiles/default 已设置）。

    但是，我认为“org.gnome.gedit.plugins.terminal”下的设置应该优先于gedit中有关终端插件的系统设置。用户可能希望系统终端使用一种配色方案，而终端插件则需要另一种配色方案。

    所以最后我将 python 脚本函数 get_profile_settings 改回了以前的 Ubuntu 版本（只是添加了注释#）并得到了想要的结果。

    def get_profile_settings(self):
#        profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")
#        if 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
    • 1

相关问题