Ustaw kolory osadzonych terminali gedit tak samo, jak domyślne terminale

Właśnie zaktualizowałem do wersji 11.10 i teraz mój terminal wbudowany w gedit nie pasuje do mojego domyślnego terminala. Nienawidzę patrzeć na biało-czarny terminal. Czy ktoś wie, jak dopasować terminal wbudowany do terminala domyślnego?

To jest zrzut ekranu:

Chcę, aby mój osadzony terminal w gedit był zgodny z domyślnym terminalem.

1. Upewnij się, że masz zainstalowane następujące pakiety:

   • narzędzia dconf

   • gconf-editor

2. Otwórz gconf-editori przejdź do aplikacji ➜ gnome-terminal i wybierz profil:

   

3. Teraz otwórz dconf-editori przejdź do terminala org ➜ gnome ➜ gedit ➜ plugins and i odznacz klawisz use-theme-colors :

   

4. Z gconf-editor skopiuj wartości pliku

   • kolor tła
   • kolor pierwszego planu
   • paleta

   do odpowiednich kluczy w edytorze dconf. Wbudowany terminal powinien teraz pasować do zwykłego terminala gnome.

   

To jest dla gedit 3

Ten sam problem tutaj biały na jasnoszarym.

Ręcznie edytowałem /usr/lib/gedit/plugins/terminal.py. Używany terminal to xterm.

Szukać:

fg = context.get_color(Gtk.StateFlags.NORMAL)
bg = context.get_background_color(Gtk.StateFlags.NORMAL)

Zastępuję się

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

Informacje: fg= czarny tekst, bg= białe tło

Upewnij się, że nie zaznaczyłeś Użyj kolorów z motywu systemu, to powinno działać:

Otwórz gconf-editori przejdź doapps->gnome-terminal->profiles->Default

• Odznacz opcję use-theme-colors.
• Ustaw kolor pierwszego planu: #FFFFFF
• Ustaw kolor tła: # 000000

Spowoduje to ustawienie tekstu na biały, a tła na czarny. Ustawi to zarówno dla terminala, jak i terminala wbudowanego, jeśli chcesz użyć różnych kolorów dla każdego z nich, zrób to zamiast tego.

Otwórz gconf-editori przejdź doapps->gedit-2->plugins

• Utwórz nowy klucz o nazwie use_theme_colors
• Ustaw typ na: Boolean
• Ustaw wartość na: False
• Utwórz nowy klucz o nazwie foreground_color
• Ustaw typ na: String
• Ustaw wartość na: #FFFFFF
• Utwórz nowy klucz o nazwie background_color
• Ustaw typ na: String
• Ustaw wartość na: # 000000

Edytuj plik /usr/lib/gedit-2/plugins/terminal.py

Pod linią:

GCONF_PROFILE_DIR = "/apps/gnome-terminal/profiles/Default"

Dodaj nową linię:

GCONF_GEDIT_DIR = "/apps/gedit-2/plugins"

Następnie zamień linie:

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)

Z:

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)

Teraz możesz ustawić kolory tylko dla wbudowanego terminala, używając klawiszy, które utworzyłeś apps->gedit-2->plugins

Podczas sprawdzania terminal.pyUbuntu 16.04 wygląda na to, że ładuje jakiś starszy profil:

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

Kontrola org.gnome.terminal.legacy.profiles:w dconf-editor, był taki profil. Po usunięciu za pomocą:

dconf reset -f /org/gnome/terminal/legacy/profiles:/

Mogę zmienić ustawienia org.gnome.gedit.plugins.terminali włączyć je. Bo najpierw background-colormusiałem wyłączyć use-theme-colours.

w 13.04 ścieżka edytora gconf do właściwości zmieniła się na: org -> gnome -> gedit -> terminal