I'm personally not a big fan of having this extra information in the precious tab space. It probably wouldn't be as bad in the status bar (it sort of fits with that information) and it could be turned on/off by the user customizing the statusbar template.
This could also be implemented in a plugin very easily, perhaps even as a feature for the Addons plugin. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/1697#issuecomment-346707428
