mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-06-08 18:26:01 +02:00
Don nothing for PRE_BUILD and PRE_DELETE
This commit is contained in:
parent
8a2e9665c0
commit
b4deebb5c8
1 changed files with 3 additions and 6 deletions
|
@ -490,18 +490,15 @@ System.out.println("RELEASE Binary " + cfile.getElementName());
|
||||||
public void resourceChanged(IResourceChangeEvent event) {
|
public void resourceChanged(IResourceChangeEvent event) {
|
||||||
|
|
||||||
if (event.getSource() instanceof IWorkspace) {
|
if (event.getSource() instanceof IWorkspace) {
|
||||||
IResource resource = event.getResource();
|
//IResource resource = event.getResource();
|
||||||
IResourceDelta delta = event.getDelta();
|
IResourceDelta delta = event.getDelta();
|
||||||
switch(event.getType()){
|
switch(event.getType()){
|
||||||
case IResourceChangeEvent.PRE_DELETE :
|
case IResourceChangeEvent.PRE_DELETE :
|
||||||
if(resource.getType() == IResource.PROJECT
|
// Do something relevant?
|
||||||
&& hasCNature((IProject)resource)) {
|
|
||||||
releaseCElement(resource);
|
|
||||||
}
|
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case IResourceChangeEvent.PRE_AUTO_BUILD :
|
case IResourceChangeEvent.PRE_AUTO_BUILD :
|
||||||
// will close project if affected by the property file change
|
// No need now.
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case IResourceChangeEvent.POST_CHANGE :
|
case IResourceChangeEvent.POST_CHANGE :
|
||||||
|
|
Loading…
Add table
Reference in a new issue