Re: Fragile Fences
- From: Raymond DeCampo <nospam@xxxxxxxxxxxx>
- Date: Fri, 15 Jul 2005 19:13:17 GMT
Larry Barowski wrote:
"Raymond DeCampo" <nospam@xxxxxxxxxxxx> wrote in message news:VxABe.144477$g5.4298@xxxxxxxxxxxxxxxxxxxxxxx
Roedy Green wrote:
On Thu, 14 Jul 2005 18:01:40 GMT, "Virgil Green" <vjg@xxxxxxxxxxxxxxxxxx> wrote or quoted :
I removed the change via TextPad and saved it. When I returned to Eclipse I was presented with a dialog indicating that the file had been changed externally by another program
and
it offered to reload it.
That proves my point that Eclipse must have its own internal copy. If it did not, how could it detect the change, and how could it offer to carry on WITHOUT reloading.
The same way all editors do this. They watch the file system, hopefully with native code that does not require polling, to see if the time stamp of the file changes from when they opened it.
On Windows, most editors just check file mod times whenever an application window gets focus. On an FFM system that would be annoying though.
Those editors will miss out on changes that happen via background processes, by network file access, etc. that occur while the window has focus.
I'm not sure what you mean by a FFM system.
Ray
-- XML is the programmer's duct tape. .
- Follow-Ups:
- Re: Fragile Fences
- From: Larry Barowski
- Re: Fragile Fences
- References:
- Fragile Fences
- From: Roedy Green
- Re: Fragile Fences
- From: Lasse Reichstein Nielsen
- Re: Fragile Fences
- From: Roedy Green
- Re: Fragile Fences
- From: Tim Tyler
- Re: Fragile Fences
- From: Roedy Green
- Re: Fragile Fences
- From: Chris Smith
- Re: Fragile Fences
- From: Roedy Green
- Re: Fragile Fences
- From: Virgil Green
- Re: Fragile Fences
- From: Roedy Green
- Re: Fragile Fences
- From: Raymond DeCampo
- Re: Fragile Fences
- From: Larry Barowski
- Fragile Fences
- Prev by Date: Re: import magic
- Next by Date: Re: Multiple Inheritance with Interfaces
- Previous by thread: Re: Fragile Fences
- Next by thread: Re: Fragile Fences
- Index(es):
Relevant Pages
|