GNOME Bugzilla – Bug 728465
Tabs look bad with GTK 3.12
Last modified: 2018-04-22 00:03:52 UTC
Created attachment 274629 [details] Gnumeric tabs with GTK 3.12 Tabs have been restyled in GTK 3.12. They now look very squished in Gnumeric (see attached screenshot).
It's theme dependent. Try putting this into your ~/.config/gtk-3.0/gtk.css file. GnmNotebookButton { padding-right : 20px; }
OK, thanks, that works. But shouldn't it work out of the box? Should this be fixed in Gnumeric or Adwaita (gnome-themes-standard, perhaps in 'gnome-applications.css')?
It should work out of the box, but keeping up with gtk+ and theme breakage is a full time job. There will be some lag.
*** Bug 728650 has been marked as a duplicate of this bug. ***
I have committed a patch that might improve the situation a bit.
For future reference, what theme are you using when you observe the squished tabs?
(In reply to comment #6) > For future reference, what theme are you using when you observe the > squished tabs? Adwaita.
Believed fixed in the meantime. Feel free to reopen if this still occurs.