So ändern Sie die Höhe der Titelleiste in Standard-GTK-Apps und solchen mit Headerbars / CSDs unter Gnome 3.20
In Gnome 3.18, war es möglich , die titlebar Höhe aller Fenster in durch Ändern der CSS zu ändern , ~/.config/gtk-3.0/gtk.csswie pro Titelleiste Höhe Reduce in GNOME 3 / gtk + 3 . .header-bar.default-decoration { padding-top: 0px; padding-bottom: 0px; } .header-bar.default-decoration...