[news.eclipse.tools] Bug Report: File synch

["Michael Allen Latta" <mlatta@xxxxxxxx>]

I had the workspace open and a file in the editor but with no unsaved
changes.  And several relevant files in the package were not open in the
editor at all.

I used an external program (a compiler compiler tool) that modified several
of the files in the package.

I selected the package and did a refresh from local.

I selected build from the project menu.

I ran the program.  Old binaries or source used.

I selected rebuild all from the project menu.

I ran the program. Old binaries or source used.

I exited the workbench.

I opened the workbench (I have -refresh set).

I ran the program.  New binaries and source used.  (It worked).

I would like to see an option set that would check file modification times
on source at the time of a build to catch external modifications.  It needs
to be an option since it creates a performance impact, and it would be good
if it was at the project or package level to minimize the impact.

Michael Latta