回答:
次のパッケージがインストールされていることを確認してください。
開いてアプリgconf-editor
navigate gnome-terminalに移動し、プロファイルを選択します。
開いて組織➜gnome➜gedit➜プラグイン➜ターミナルに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
=白の背景
locate terminal.py
13.10にそれを見つけなければなりませんでした。隠れていた/usr/lib/x86_64-linux-gnu/gedit/plugins/terminal.py
開いgconf-editor
てapps->gnome-terminal->profiles->Default
これにより、テキストが白に、背景が黒に設定されます。端末と組み込み端末の両方にこれを設定します。それぞれに異なる色を使用したい場合は、代わりにこれを行います。
開いgconf-editor
てapps->gedit-2->plugins
ファイルを編集する /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-editorパスが次のように変更されました:org-> gnome-> gedit-> terminal