Passen Sie die Farben des eingebetteten Terminals von gedit an die Farben des Standardterminals an

Question

Ich habe gerade auf 11.10 aktualisiert und jetzt stimmt mein eingebettetes Terminal in gedit nicht mit meinem Standardterminal überein. Ich hasse es, ein weiß-schwarzes Terminal anzuschauen. Weiß jemand, wie man das eingebettete Terminal an das Standardterminal anpasst?

Dies ist ein Screenshot:

Ich möchte, dass mein eingebettetes Terminal in gedit mit meinem Standardterminal übereinstimmt.

Answer 1

1. Stellen Sie sicher, dass Sie die folgenden Pakete installiert haben:

   • Dconf-Werkzeuge

   • gconf-Editor

2. Öffnen Sie gconf-editorund navigieren Sie zuApps ➜ Gnome-Terminalund wählen Sie ein Profil aus:

   

3. Öffnen Sie nun dconf-editorund navigieren Sie zuorg ➜ Gnome ➜ gedit ➜ Plugins ➜ Terminalund deaktivieren Sie dasDesignfarben verwendenSchlüssel:

   

4. Kopieren Sie aus dem gconf-Editor die Werte der

   • Hintergrundfarbe
   • Vordergrundfarbe
   • Palette

   zu den entsprechenden Schlüsseln im dconf-Editor. Das eingebettete Terminal sollte nun einem normalen Gnome-Terminal entsprechen.

   

Answer 2

Dies ist für gedit 3

Gleiches Problem hier, Weiß auf Hellgrau.

Ich habe es manuell bearbeitet /usr/lib/gedit/plugins/terminal.py. Das verwendete Terminal ist xterm.

Suchen nach:

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

Ich ersetze durch

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

Info: fg= schwarzer Text, bg= weißer Hintergrund

Answer 3

Stellen Sie sicher, dass Sie nicht angekreuzt habenFarben aus dem Systemdesign verwendendann sollte es klappen:

Answer 4

Bei der Überprüfung terminal.pyauf Ubuntu 16.04 scheint es, als würden einige ältere Profile geladen:

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

Bei der Inspektion org.gnome.terminal.legacy.profiles:in dconf-editorgab es ein solches Profil.Nach dem Löschenmit:

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

Ich konnte die Einstellungen in ändern org.gnome.gedit.plugins.terminalund wirksam werden lassen. Für background-colormusste ich use-theme-colourszuerst deaktivieren.