Onde a configuração do estilo GTK3 do terminal gnome foi movida para o Ubuntu 16.04?

Question

No Ubuntu 14.04, eu poderia estilizar a aparência do terminal do gnome e suas guias criando um arquivo

/home/$user/.config/gtk-3.0/gtk.css

e colocando o código CSS nele, por exemplo,

    TerminalWindow .notebook tab.top:active{
      padding: 0;
      border-image: none;
      background-color: #555;
    }
    [...]

Agora no Ubuntu 16.04 isso não afeta a aparência do terminal gnome.
Como posso modificar a aparência do terminal gnome no Ubuntu 16.04?

    

Answer 1

Isso funciona para mim:

/* gnome-terminal */
@define-color terminal_bg #300a24;

TerminalScreen {
    -TerminalScreen-background-darkness: 0.95;
    background-color: @terminal_bg;
    color: #fff;
}

TerminalScreenContainer .scrollbar:hover:not(.slider),
TerminalScreenContainer .scrollbar.dragging:not(.slider) {
    background-color: alpha(@scrollbar_track_color, 0.4);
}

/* Since .hovering class is not working here, we always
 use the same radius */
TerminalScreenContainer .scrollbar.slider.hovering,
TerminalScreenContainer .scrollbar.slider.dragging {
    border-radius: 1px;
}

TerminalScreenContainer .scrollbar {
    background-color: transparent;
}

TerminalWindow .notebook tab:active {
    padding: 0;
    border: none;
    background-color: #222;
}

O código que adicionei está na parte inferior. O arquivo que eu editei é ~/.themes/ORIG-Ambiance/gtk-3.0/apps/gnome-terminal.css .

Notas:

• Acabei de copiar na pasta Ambiente de /usr/share/themes e renomei-a para não precisar usar privilégios elevados ao editar o arquivo.

• Descobri que usar #555 dificultou a visualização do texto na guia.

• Eu também alterei o selected_fg_color para ter certeza de qual tema é qual e é por isso que a barra de rolagem não é laranja;)

    

Answer 2

Efetuar logout / fechamento de todos os meus programas e login novamente aplicou o tema, afinal.
A referência da API do GTK para GtkCssProvider (a versão de desenvolvimento instável - não consigo encontrar as seções equivalentes para estável) explica / confirma como o GTK lerá o código CSS de um tema na inicialização:

  

Um aplicativo pode fazer com que o GTK + analise uma folha de estilo CSS específica chamando gtk_css_provider_load_from_file () e adicionando o provedor com gtk_style_context_add_provider () ou gtk_style_context_add_provider_for_screen ().
  Além disso, certos arquivos serão lidos quando o GTK + for inicializado. Primeiro, o arquivo $ XDG_CONFIG_HOME / gtk-3.0 / gtk.css é carregado se existir.
  Então, o GTK + tenta carregar $ HOME / .themes / theme-name / gtk-3.0 / gtk.css, voltando ao datadir / share / themes / nome-do-tema / gtk-3.0 / gtk.css, onde nome-do-tema é o nome do tema atual (consulte a configuração "gtk-theme-name") e datadir é o prefixo configurado quando o GTK + foi compilado, a menos que seja substituído pela variável de ambiente GTK_DATA_PREFIX.

A experiência anterior sugerida para o gnome-terminal era tudo o que você precisava fazer era fechar todas as guias e janelas do terminal gnome para fazer com que o novo tema tivesse efeito. De acordo com os documentos, talvez o GTK precisasse passar por sua inicialização, ou pode ter havido um processo gnome-terminal ainda em execução, exigindo que eu faça logout e volte.