Reduza a altura do título / head-bars e seu raio de canto no Gnome 3.19+

Question

Existe uma entrada em gnome-shell.css que controla o raio do canto da "barra de título" (se eu usar o termo correto) da maioria das janelas?

Como mostrado na figura

.

Eu quero reduzir o raio do canto, pois reduzo a altura das barras de título. Agora o canto parece muito feio (pessoalmente eu não gosto de cantos arredondados).

Eu verifiquei quase todas as entradas, no entanto, ainda não o encontrei. Alguém tem ideias?

    

Answer 1

Eu encontrei a solução. Isso pode ser feito adicionando configurações em ~/.config/gtk-3.0/gtk.css : a entrada border-radius é para reduzir o raio dos cantos; os outros são para reduzir a altura da barra de título (que eu acho que a maioria dos caras sofrem no gnome 3.18+, quando não há nenhum .xml disponível para ajuste).

/* Locate in "~/.config/gtk-3.0/" to decrease title bar in gnome 3 */
/* INFO: valid for Gnome 3.19+ */


/* shrink headebars */
headerbar {
    min-height: 28px;
    border-radius: 2px;  /* remove the rounded corners*/
}

headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
    margin-top: 1px;
    margin-bottom: 1px;
}

/* shrink ssd titlebars */
.default-decoration {
    min-height: 0; /* let the entry and button drive the titlebar size */ 
}

.default-decoration .titlebutton {
    min-height: 16px; /* tweak these two props to reduce button size */
    min-width: 16px;
    border-radius: 1px;
}