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 désynchroniser.
Cela signifie que lorsque j'effectue une recherche après qu'un fichier a changé en dehors d'Eclipse, j'obtiens une boîte de dialogue d'erreur m'indiquant que les fichiers ne sont pas synchronisés, même s'ils n'ont pas d'éditeur ouvert. Pour autant que je sache, il n'y a pas de commande d'actualisation globale, je suis donc obligé de lire les noms des projets (j'ai plusieurs projets) dans la boîte de dialogue d'erreur, et de faire un clic droit + actualiser pour chacun d'eux.
J'ai vérifié le Refresh Automatically
réglage Settings > General > Workspace
, mais cela n'a aucun effet. Existe-t-il un moyen pour qu'Eclipse ne charge que les ressources non actives à partir du disque?