☰

Paletteneinstellungen können im Dconf-Gedit-Terminal nicht geändert werden

tag-icon • tag-icon command-line gedit
Paletteneinstellungen können im Dconf-Gedit-Terminal nicht geändert werden

Ich bin dem Thread gefolgt, um das Problem mit dem weißen Terminal von Gedit zu beheben. Wie ändere ich die Farben des in Gedit eingebetteten Terminal-Plugins?

Ich stecke fest, weil ich die Paletteneinstellung in dconf nicht ändern oder löschen kann.

Dies ist der Fehler, den ich erhalte:

"Erreur lors de la définition de la valeur : 0:expected value"

Gibt es eine Möglichkeit, es manuell zu tun? Irgendwelche Hilfe?

gedit:
  Installé : 3.10.4-0ubuntu13
  Candidat : 3.10.4-0ubuntu13
 Table de version :
 *** 3.10.4-0ubuntu13 0
        500 http://fr.archive.ubuntu.com/ubuntu/ wily/main amd64 Packages
        100 /var/lib/dpkg/status

Danke

Antwort1

  • Ändern Sie das Verhalten mit

    gsettings set org.gnome.gedit.plugins.terminal use-theme-colors true

    oder

    gsettings set org.gnome.gedit.plugins.terminal use-theme-colors false

    Wenn „True“, wird für das Terminal das Farbschema des Designs verwendet, das für die Texteingabefelder verwendet wird, statt der vom Benutzer bereitgestellten Farben.

    oder setzen Sie das Verhalten zurück mit

    gsettings reset org.gnome.gedit.plugins.terminal use-theme-colors

  • Ein weiteres Beispiel: Um die gesamte Farbpalette einzustellen, verwenden Sie

    gsettings set org.gnome.gedit.plugins.terminal palette "['#2E2E34343636', '#CCCC00000000', '#4E4E9A9A0606', '#C4C4A0A00000', '#34346565A4A4', '#757550507B7B', '#060698209A9A', '#D3D3D7D7CFCF', '#555557575353', '#EFEF29292929', '#8A8AE2E23434', '#FCFCE9E94F4F', '#72729F9FCFCF', '#ADAD7F7FA8A8', '#3434E2E2E2E2', '#EEEEEEEEECEC']"

  • Oder derbackground-color

    gsettings set org.gnome.gedit.plugins.terminal background-color "black"

  • Alle verfügbaren Schlüssel auflisten mit

    gsettings list-keys org.gnome.gedit.plugins.terminal

verwandte Informationen