Hi, I hope this is the right forum to ask this question. I have been looking for a fix for a long time to no avail. Let's look at this image:
[image: Inline image 1] I would really like to reduce the tab height in both those applications. That is too much wasted space for my liking. Any ideas? Thanks. -- ASB (akhilsbehl.github.io)
_______________________________________________ gnome-themes-list mailing list gnome-themes-list@gnome.org To unsubscribe (and more): https://mail.gnome.org/mailman/listinfo/gnome-themes-list