Ich hatte bisher mit folgenden Eintrag in die ~/.config/gtk-3.0/gtk.css immer die Größe der Tabs beim xfce4-terminal auf ein minimum reduziert. Dies hat sowohl unter Xfce und auch unter Cinnamon funktioniert.
Aber seit geraumer Zeit will das nicht mehr funktionieren und die Tabs im Terminal sind wieder in voller Größe vorhanden. Ich denke das sich vielleicht der Syntax bei Gtk3 geändert hat seit einem der letzten Updates. Googeln hat mich nicht weitergebracht. Jemand ne Idee?
TerminalWindow GtkNotebook.notebook {
padding-top: 0;
padding-bottom: 0;
}
danke...