@eht16 I added your commit that looks sensible, thanks.

Though, we're again close to a release (my bad) and I spotted a refresh issue on the current tab label color on GTK3, which is probably a GTK3 bug, so I'm a little more reluctant to enable GTK3 by default… err. Similarly, @elextr seems to have issue with certain corner cases on certain GTK3 versions as in #702 (comment) (although admittedly it was also broken on GTK2)


Reply to this email directly or view it on GitHub.