Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 492383

Summary:	Make use of the resource deleted event
Product:	[ECD] Orion	Reporter:	Michael Rennie <Michael_Rennie>
Component:	JS Tools	Assignee:	Michael Rennie <Michael_Rennie>
Status:	RESOLVED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	curtis.windatt.public
Version:	12.0
Target Milestone:	12.0
Hardware:	All
OS:	All
Whiteboard:

Description Michael Rennie

2016-04-25 12:03:34 EDT

We now have support in the platform to know when a resource is deleted. We should make use of this in the tools to:

1. track if a .tern-project file has been removed
2. know if we can get rid of a file from Tern

Comment 1 Michael Rennie

2016-05-06 21:40:15 EDT

I hooked up onDeleted and onMoved in the ternProjectListener:

http://git.eclipse.org/c/orion/org.eclipse.orion.client.git/commit/?id=65e33850325ee56de6031806816e46070e648a6a

I will handle tracking resource changes (point 2) in bug 466081