While I concur that this should be handled through the theme, for sake of consistency alone, I think it is simple to change the active tab since this is also just a gtk widget or? I remember that I have done so myself in my ruby-gnome apps, being able to change in particular the colours. Perhaps it is not worth to invest time into it, but I think in principle this should be fairly simple to do - one could have an "advanced options widget" for these kind of preferences in the long run.
PS: The old bluefish 1.x editor does some slight intensification of the currently selected tab; it appears a bit as if it would have a shadow. Perhaps bolding the text and colouring the background e. g. with a colour, could be done in such an advanced user preferences setting, while also notifying the user that the theme should do so.
PSS: It would be nice if a screenshot could be added to show how this is done via a theme properly, in the screenshot gallery. Thanks! \o/
--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/635#issuecomment-137629763
github-comments@lists.geany.org