Como alterar a altura da barra de título do gnome-shell [duplicate]

3

Existe uma maneira de mudar a altura da barra de título no gnome-shell?

Como atualmente é muito grande para o meu gosto, eu gostaria de torná-lo um pouco menor.

Alguns temas acertam, mas não sei exatamente onde procurar. Eu só posso supor que pode ser relacionado com css / js.

Minha versão atual do GNOME Shell é 3.16.4 e estou executando o Ubuntu.

Isso não ajuda: Como eu redimensiono o GNOME barra superior do shell . Também não esperaria, mas poderia ter me dado uma direção ...

    
por Alex Tartan 01.03.2016 / 12:01

1 resposta

1

Depois de pesquisar "em todos os lugares", encontrei uma postagem no fórum do archlinux em abril de 2015:

Os seguintes css precisam ser colocados em ~/.config/gtk-3.0/gtk.css

.header-bar.default-decoration {
    padding-top: 3px;
    padding-bottom: 3px;
}

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

Mudei paddings para 1px e agora está ótimo!

Nota: Meu palpite estava certo! é css relacionado

    
por 01.03.2016 / 12:48