Não é possível alterar as configurações de paleta no terminal dconf gedit

1

Eu segui o tópico para corrigir o problema do terminal branco do gedit. Como alterar as cores do plug-in do terminal incorporado do Gedit?

Estou preso porque não posso alterar ou excluir a configuração de paleta no dconf.

Este é o erro que recebo:

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

Existe uma maneira de fazer isso manualmente. Alguma ajuda?

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

Thx

    
por Raphaël 02.11.2015 / 09:24

1 resposta

1
  • Altere o comportamento com

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

    ou

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

    Se verdadeiro, o esquema de cores do tema usado para caixas de entrada de texto será usado para o terminal, em vez das cores fornecidas pelo usuário.

    ou redefina o comportamento com

    gsettings reset org.gnome.gedit.plugins.terminal use-theme-colors
    
  • Um outro exemplo, para definir a paleta de cores inteira, use

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

    gsettings set org.gnome.gedit.plugins.terminal background-color "black"
    
  • Listar todas as chaves disponíveis com

    gsettings list-keys org.gnome.gedit.plugins.terminal
    
por A.B. 02.11.2015 / 09:33