Por-aplicação GTK3 tema

Navegue suas respostas
0

No meu Ubuntu 17.10, eu quero ser capaz de lançar o aplicativo gnome-terminal com um preenchimento grande (para uso em tela cheia) ou nenhum preenchimento (para uso em janelas).

Consegui aplicar o preenchimento por meio dessa resposta no Stack Overflow: link . O truque é ter o arquivo ~/.config/gtk-3.0/gtk.css sendo: 

vte-terminal {
    padding: 10px;
}

No entanto, agora todos meus terminais têm preenchimento, e eu quero ser capaz de escolher entre padding ou sem padding.

Um hacker seria trocar ~/.config/gtk-3.0/gtk.css imediatamente antes de lançar um terminal, mas isso é muito sujo.

Outra opção seria dar ao GTK uma variável ambiental, como podemos ver no aqui a> ou em este artigo : 

$ GTK_THEME=<theme name> gnome-terminal

O problema é: O GNOME parece ignorar qualquer tema que eu passe desta forma

Os exemplos a seguir lançam duas vezes um terminal com o tema normal em vez do "HighContrast": 

$ ls /usr/share/themes/
Ambiance/         Default/          Emacs/            HighContrast/     my-special-theme/ Radiance/         Raleigh/
$ GTK_THEME=HighContrast gnome-terminal
Warning: DESKTOP_STARTUP_ID not set and no fallback available.
$ GTK_THEME=/usr/share/themes/HighContrast/ gnome-terminal
Warning: DESKTOP_STARTUP_ID not set and no fallback available.

O que estou fazendo de errado?

EDIT 2018-10-25 Após o comentário de @ DKBose

OK, funciona com o 'gedit': 

$ GTK_THEME=HighContrast gedit

Pelo menos agora sabemos porque não funcionou com gnome-terminal ... Mas agora vai ser mais difícil fazer o que eu quero fazer.

Eu acho que vou ter que usar outro emulador de terminal? Eu acho que urxvt deve ter uma opção para isso?

    
por Cédric Van Rompay 25.10.2017 / 15:14

1 resposta

0

Parece que gnome-terminal ignora GTK_THEME como DK Bose sugeriu .

    
por Cédric Van Rompay 25.10.2017 / 20:05
Folders Colors não funciona após a atualização para 17.10 Como posso ter o preenchimento automático de nomes de pacotes para o ubuntu-bug?