Eclipse (3.4.2 avec PyDev) traite les ressources non synchronisées (fichiers qui ont été modifiés en dehors de l'EDI) différemment des autres IDE que j'ai utilisés, où seules les ressources avec des éditeurs ouverts sont considérées comme non synchronisées . Dans Eclipse, toute ressource peut se...