mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Optimizes fast indexer for uninteresting resource deltas.

Browse source
This commit is contained in:
Markus Schorn 2006-10-18 12:24:54 +00:00
parent b3b7eae722
commit 632d2457f7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOMManager.java
View file

@ -297,7 +297,7 @@ public class PDOMManager implements IPDOMManager, IWritableIndexManager, IElemen
return new WritableCIndex((IWritableIndexFragment[]) pdoms.toArray(new IWritableIndexFragment[pdoms.size()]), new IIndexFragment[0]); return new WritableCIndex((IWritableIndexFragment[]) pdoms.toArray(new IWritableIndexFragment[pdoms.size()]), new IIndexFragment[0]);
} }
public synchronized void elementChanged(ElementChangedEvent event) { public void elementChanged(ElementChangedEvent event) {
// Only respond to post change events // Only respond to post change events
if (event.getType() != ElementChangedEvent.POST_CHANGE) if (event.getType() != ElementChangedEvent.POST_CHANGE)
return; return;