Eclipse (3.4.2 mit PyDev) behandelt nicht synchronisierte Ressourcen (Dateien, die außerhalb der IDE bearbeitet wurden) anders als andere von mir verwendete IDEs, bei denen nur Ressourcen mit geöffneten Editoren als nicht synchron betrachtet werden . In Eclipse kann jede Ressource nicht mehr...