Уменьшите высоту заголовка / заголовков и их угловой радиус в Gnome 3.19+

Question

Есть ли запись в gnome-shell.css которая контролирует угловой радиус "строки заголовка" (если я использую правильный термин) большинства окон?

Как показано на рисунке

,

Я хочу уменьшить радиус угла, так как я уменьшаю высоту заголовков. Теперь угол выглядит довольно некрасиво (лично мне не нравятся закругленные углы).

Я проверил почти все записи, однако до сих пор не нашел его. У кого-нибудь есть идеи?

Answer 1

Я нашел решение. Это можно сделать, добавив конфигурации в ~/.config/gtk-3.0/gtk.css:border-radius входа в радиус должна уменьшить радиус углов; другие должны уменьшить высоту строки заголовка (от чего, я думаю, большинство парней страдают в gnome 3.18+, когда нет XML-файла, доступного для настройки).

/* 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;
}