Is this to inform us or?
this is a suggestion for the arduino project
The lesson seems to be to don't use two IDE's with different settings at the time or be aware of sideeffects of the switching?
I want to be using two IDEs
I am now aware of the side effects, but I think this particular side effect should not be there. It was certainly not present in Arduino 0023, and the change is not in the changelog or release notes. Plus it simply screams bad design, it's two individual instances of a program with no relevance to each other, imagine having two Word documents open and changing one document's page size affected the other document.
I wish the Arduino attitude didn't include "live with it" and "work around it" so much.