Как изменить высоту заголовка в стандартных приложениях GTK и приложениях с заголовками / CSD в Gnome 3.20
В Gnome 3.18 можно было изменять высоту заголовка всех окон, изменяя css в ~/.config/gtk-3.0/gtk.cssсоответствии с уменьшением высоты строки заголовка в gnome 3 / gtk + 3 . .header-bar.default-decoration { padding-top: 0px; padding-bottom: 0px; } .header-bar.default-decoration .button.titlebutton {...