Gnome Terminal Ajustar Altura da Aba

Question

Estou executando o Ubuntu Gnome 16.04 em um laptop com baixa resolução (1366x768). Eu consegui ajustar a maioria das coisas no Gnome para ficar muito melhor nesta tela, mas as abas do terminal gnome parecem me iludir. Eu gostaria de ser capaz de fazer a altura do pixel um pouco menor para ele não parece tão feia (eu aposto que parece incrível em um display de alta dpi) ...

Eu acho que algo poderia ser adicionado ao ~ / .config / gtk-3.0 / gtk.css como eu tive que fazer para a barra de título - mas eu não sei nada sobre css, e meu google-fu não parece estar dando bons resultados.

    

Answer 1

Encontrou uma edição em ~ / .config / gtk-3.0 / gtk.css aqui por @Lari Hotari no stackoverflow.

Ele não remove os botões, mas os torna mais agradáveis para um tema escuro e usam menos espaço vertical.

TerminalWindow .notebook .button,
TerminalWindow .notebook .button:active {
   padding: 2 2 2 10;
   background-image: none;
   border: 0;
}

Estou usando essa personalização, funciona bem com um tema sombrio (também encontrado no link acima):

@define-color bg-grey #222;
@define-color active-grey #333;
@define-color border-grey #555;

TerminalWindow .notebook {
   border: 0;
   padding: 0;
   color: #eee;
   background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab:active {
   border: 1px solid @border-grey;
   background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab {
   background-color: shade(@bg-grey, 1);
}

TerminalWindow .notebook .button,
TerminalWindow .notebook .button:active {
   padding: 2 2 2 10;
   background-image: none;
   border: 0;
}

Em seguida, faça o logout da sua sessão e faça o login novamente, o tema deve entrar em vigor. ALT + F2 e digitar "restart" não funcionou para mim, mas sua milhagem pode variar.