Can Eclipse refresh resources automatically?

Question

Eclipse (3.4.2 with PyDev) deals with out-of-sync resources (files that have been edited outside of the IDE) differently from other IDEs that I\'ve used, where only resource

Answer 1

Given that Java 7 has an api for filesystem hooks, one would think that refresh could be handled better in Eclipse.

Edit: Actually, there is a plugin that uses this mechanism: https://github.com/psxpaul/EclipseJava7Refresher