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

[Alexandre Jaquet <alexjaquet@xxxxxxxxx>]

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 ?