|
Re: Detecting external changes to a resource [message #290978 is a reply to message #290915] |
Mon, 05 September 2005 14:32 ![Go to previous message Go to previous message](theme/Solstice/images/up.png) ![Go to next message Go to next message](theme/Solstice/images/down.png) |
Eclipse User![Friend of Eclipse Friend](/donate/web-api/friends_decorator.php?email=) |
|
|
|
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 ![Go to previous message Go to previous message](theme/Solstice/images/up.png) |
Eclipse User![Friend of Eclipse Friend](/donate/web-api/friends_decorator.php?email=) |
|
|
|
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.03139 seconds