[news.eclipse.platform] Re: handle deleting a resource

[Ed Merks <merks@xxxxxxxxxx>]

Alexandre,

Normally editors handle this issue directly themselves.  EMF's generated 
editors show how to do that...


Alexandre Jaquet wrote:
> I've found how to handle the event:
>
>     public boolean visit(IResourceDelta delta) {
>         if (delta.getKind() == IResourceDelta.REMOVED) {
>             // code here
>         }
> but now how can I get the list of opened page and close it if they are 
> deleted ?