Oh interesting. I will compare and see what they changed for the IDE.No. Only Freak did some changes for the DPI compatibility during his implementation into the PB IDE.
If the TabBarGadget file never changes, then there's not much benefit. It's just a place to host open source code, documentation, demos. Free account, simple to use. I have hosted PB includefiles there for a while.What do I have to do if i "host" the TabBarGadget code on GitHub?
But it's best for collaboration, people can write bugfixes and new features, submit them, you and others can review them, merge the changes into the latest "master" version. The PB IDE project is starting to get some contributions.
Maybe it's worth discussing later, if some TabBarGadget changes are made in the IDE project.