Personalizando a cor da guia do terminal no Ubuntu 17.10

Question

Por padrão, é assim:

Eunãogostoequeroquesejaescuro,entãoadicionoissoaomeu~/.config/gtk-3.0/gtk.css:

terminal-windownotebooktab{background-image:-gtk-gradient(linear,lefttop,leftbottom,from(shade(@fg_color,0.92)),color-stop(0.60,shade(@fg_color,0.9)),to(shade(@fg_color,0.85)));color:@bg_color;}terminal-windownotebooktab:active{background-image:-gtk-gradient(linear,lefttop,leftbottom,from(shade(@dark_bg_color,1.2)),to(shade(@dark_bg_color,1.12)));-unico-inner-stroke-color:alpha(shade(@dark_bg_color,1.26),1.0);}

Oresultadoé:

Qualémelhor,masaguiaativanãoestádestacada.

Minhareferênciaé link , mas TerminalWindow .notebook tab selector não tem efeito, então eu mudei para terminal-window notebook tab (inspirado em link , não sabe por que existe essa diferença no seletor?) e funcionou, mas não com o seletor :active .

Alguma idéia de por que essa diferença nos seletores e por que :active não funciona?

Obrigado!

    

Answer 1

Você pode usar o seguinte estilo para fazer a guia funcionar:

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


notebook.terminal-notebook header.top tab,
notebook.terminal-notebook header.top tab:hover {
    background-image: -gtk-gradient (linear, left top, left bottom,
                                    from (shade (@fg_color, 0.92)),
                                    color-stop (0.60, shade (@fg_color, 0.9)),
                                    to (shade (@fg_color, 0.85)));
    color: @bg_color;
}

notebook.terminal-notebook header.top tab:checked {
    background-image: -gtk-gradient (linear, left top, left bottom,
                    from (shade (@bg_color_active_tab, 1.2)),
                    to (shade (@bg_color_active_tab, 1.12)));
    color: @bg_color;

}

Isso resultará em: