Jak zmienić wysokość paska tytułu w standardowych aplikacjach GTK i tych z headerbarami / CSD na Gnome 3.20
W Gnome 3.18 można było zmienić wysokość paska tytułowego wszystkich okien, zmieniając css w ~/.config/gtk-3.0/gtk.csszgodnie z Zmniejsz wysokość paska tytułowego w gnome 3 / gtk + 3 . .header-bar.default-decoration { padding-top: 0px; padding-bottom: 0px; } .header-bar.default-decoration...