mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-24 09:25:31 +02:00
Code Issues Wiki Activity

Bug 317783 Resource filters don't appear to work -- work-around for platform issue in 3.6

Browse source
This commit is contained in:
James Blackburn 2010-06-24 16:01:30 +00:00
parent a212d0d42f
commit 7cecc9e5a9
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
core/org.eclipse.cdt.core/model/org/eclipse/cdt/internal/core/settings/model/ResourceChangeHandler.java
View file

@ -204,7 +204,9 @@ public class ResourceChangeHandler extends ResourceChangeHandlerBase implements
// Bug 311189 -- if the resource still exists now, don't treat as a remove!
if (to == null) {
from.refreshLocal(IResource.DEPTH_ZERO, null);
// Workaround for platform Bug 317783
if (from.getWorkspace().validateFiltered(from).isOK())
from.refreshLocal(IResource.DEPTH_ZERO, null);
if (from.exists())
continue;
}