1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-05 16:15:25 +02:00

Fix for 73406: Double Indexing On Specific Project

This commit is contained in:
Bogdan Gheorghe 2004-09-09 20:21:45 +00:00
parent c8b0d4f538
commit a59a690bb9
2 changed files with 11 additions and 2 deletions

View file

@ -1,3 +1,8 @@
2004-09-09 Bogdan Gheorghe
Fix for 73406: Double Indexing On Specific Project
* src/org/eclipse/cdt/ui/dialogs/IndexerOptionPropertyPage.java
2004-09-08 Alain Magloire 2004-09-08 Alain Magloire
Fix for PR 73459 Fix for PR 73459

View file

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