|
Lines 1875-1881
Link Here
|
| 1875 |
// project doesn't exist or is not open: ignore |
1875 |
// project doesn't exist or is not open: ignore |
| 1876 |
} |
1876 |
} |
| 1877 |
return; |
1877 |
return; |
| 1878 |
|
1878 |
case IResourceChangeEvent.PRE_CLOSE: |
|
|
1879 |
if (resource.getType() == IResource.PROJECT) { |
| 1880 |
this.manager.indexManager.discardJobs(((IProject) resource).getName()); |
| 1881 |
} |
| 1882 |
return; |
| 1879 |
case IResourceChangeEvent.PRE_REFRESH: |
1883 |
case IResourceChangeEvent.PRE_REFRESH: |
| 1880 |
IProject [] projects = null; |
1884 |
IProject [] projects = null; |
| 1881 |
Object o = event.getSource(); |
1885 |
Object o = event.getSource(); |
