Ich habe die Lösung gefunden. Dies kann durch Hinzufügen von Konfigurationen in ~/.config/gtk-3.0/gtk.css
den folgenden Schritten erreicht werden: Der Eintrag border-radius
soll den Radius der Ecken verringern; die anderen sind, um die Höhe der Titelleiste zu reduzieren (was wahrscheinlich die meisten Jungs in gnome 3.18+ leiden, wenn keine .xml-Datei für die Anpassung verfügbar ist).
/* 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; }