@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 https://github.com/geany/geany/issues/702#issuecomment-150986086 (although admittedly it was also broken on GTK2)
--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/524#issuecomment-152351410