-
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