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

bug 68940

Browse source
This commit is contained in:
Andrew Niefer 2004-07-05 15:39:55 +00:00
parent 66737b8c43
commit 717161485a
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -87,14 +87,14 @@ public class IndexerOptionPropertyPage extends PropertyPage {
IProject tempProject = getProject();
optionPage.persistIndexerValues(tempProject);
if( problemsChanged && newIndexerProblemsValue == 0)
CCorePlugin.getDefault().getCoreModel().getIndexManager().removeIndexerProblems(tempProject);
//if indexer is now on send a index all request
if( indexChanged && newIndexerValue )
CCorePlugin.getDefault().getCoreModel().getIndexManager().indexAll(tempProject);
else if( indexChanged && !newIndexerValue )
CCorePlugin.getDefault().getCoreModel().getIndexManager().discardJobs( tempProject.getName() );
else if( problemsChanged && newIndexerProblemsValue == 0){
CCorePlugin.getDefault().getCoreModel().getIndexManager().removeIndexerProblems(tempProject);
}
}
return true;
}