|
Re: Detecting external changes to a resource [message #290978 is a reply to message #290915] |
Mon, 05 September 2005 14:32 |
Eclipse User |
|
|
|
Originally posted by: automatic.javalobby.org
It handles it by checking whether the resource is up-to-date when it compiles things it knows to have changed. It doesn't do a refresh on everything all the time.
The way to make this happen for your own editor would be to intercept the 'got focus' event, and do a check to see if the resource is up-to-date on this event. It's possible that this is what the JDT editor is doing, but I don't know this.
|
|
|
|
Re: Detecting external changes to a resource [message #291082 is a reply to message #291011] |
Wed, 07 September 2005 15:12 |
Eclipse User |
|
|
|
Originally posted by: daniel.megert.gmx.net
Paul Webster wrote:
> You can also set the Preferences>General>Workspace>Refresh
> Automatically preference. It's not instantanious, but it does keep
> checking the resources for you.
And causes a resource delta to be sent out.
Dani
>
> Later,
> PW
|
|
|
Powered by
FUDForum. Page generated in 0.03176 seconds