mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-30 21:55:31 +02:00
Code Issues Wiki Activity

Fix for 73406 - Indexer: Double-Indexing on Specific Project

Browse source
This commit is contained in:
Bogdan Gheorghe 2004-09-09 21:02:51 +00:00
parent bb6eaf7e55
commit 642dee2f9b
2 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
core/org.eclipse.cdt.ui/ChangeLog
View file

@ -1,3 +1,6 @@
2004-09-09 Bogdan Gheorghe
Fix for 73406 - Indexer: Double-Indexing on Specific Project
2004-09-09 Chris Wiebe
limit base class selection to referenced projects

8
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/ui/dialogs/IndexerOptionPropertyPage.java
View file

@ -32,10 +32,12 @@ public class IndexerOptionPropertyPage extends PropertyPage {
private IndexerOptionDialogPage optionPage;
private boolean oldIndexerValue;
private int oldIndexerProblemsValue;
private boolean requestedIndexAll;
public IndexerOptionPropertyPage(){
super();
optionPage = new IndexerOptionDialogPage();
requestedIndexAll = false;
}
/* (non-Javadoc)
* @see org.eclipse.jface.preference.PreferencePage#createContents(org.eclipse.swt.widgets.Composite)
@ -91,10 +93,12 @@ public class IndexerOptionPropertyPage extends PropertyPage {
CCorePlugin.getDefault().getCoreModel().getIndexManager().removeIndexerProblems(tempProject);
//if indexer is now on send a index all request
if( indexChanged && newIndexerValue )
if( indexChanged && newIndexerValue && !requestedIndexAll ) {
CCorePlugin.getDefault().getCoreModel().getIndexManager().indexAll(tempProject);
else if( indexChanged && !newIndexerValue )
requestedIndexAll = true;
} else if( indexChanged && !newIndexerValue ) {
CCorePlugin.getDefault().getCoreModel().getIndexManager().discardJobs( tempProject.getName() );
}
}
return true;
}