Como emagrecer a gordura da barra de título do Ubuntu GNOME?

12

Anteriormente, as barras de título para janelas eram muito mais finas do que agora no Ubuntu GNOME 16.04.1 com GNOME 3.20. Por que isso e como posso mudar isso? Gostei do visual esbelto que obtive com o numix-gtk-theme, mas, por algum motivo, não consigo mais esse visual esbelto. Não com nenhum tema.

É assim que a gordura é:

Gordura da barra de título


fonte

Respostas:

11

Você está vendo essa barra de título mais gorda porque está usando o Gnome-Shell. No Gnome-Shell, as barras de título do tema Numix são muito mais complexas que as versões do Unity.

Confira essas duas imagens

  1. Unidade

    numix na unidade

  2. Casca de Gnomo

    numix no shell gnomo

Para reduzir a gordura da barra de título

Para reduzir essa gordura, siga estas etapas

  1. Crie um arquivo ~/.config/gtk-3.0/gtk.csscom este conteúdo
.header-bar.default-decoration {
    padding-top: 4px;
    padding-bottom: 4px;
    }

.header-bar.default-decoration .button.titlebutton {
    padding-top: 4px;
    padding-bottom: 4px;
}

/* No line below the title bar */
.ssd .titlebar {
    border-width: 2px;
    box-shadow: none;
}
  1. Saia e entre novamente.

    Uma captura de tela da sessão gnome-shell após a alteração

    diálogo Zenity após alterar

No entanto, é relatado que esse ajuste não funciona para o GNOME 3.20 às vezes. Para resolver isso, você pode precisar da solução desta pergunta

Fonte: /unix/257163/reduce-title-bar-height-in-gnome-3-gtk-3

Anwar
fonte
Ah, e não há como mudar isso?
@ParanoidPanda fonte modificação é a maneira que eu acredito
Anwar
Portanto, não há extensão do shell do GNOME para fazer isso ou algo assim?
Não funcionou para mim. unix.stackexchange.com/a/291040/249545 fez o truque.
guenhter