I have tried to fix this situation: Settings are now saved on closing Environment dialog and reloaded by other ide instances everytime they change.
After a week worth of experiences, I have changed the behaviour so that:
- ide.cfg is saved on closing Environment dialog
- ide.cfg is saved on exit, but ONLY IF it has not changed (last write time) since it was loaded by ide