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

Bug 302270: Selecting indexer.

Browse source
This commit is contained in:
Markus Schorn 2010-02-09 14:32:19 +00:00
parent 6dc4eb037d
commit 8b864e98a5
1 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -333,8 +333,12 @@ public class IndexerBlock extends AbstractCOptionPage {
Arrays.sort(names, collator);
fIndexersComboBox.setItems(names);
} else {
if (!fIndexerConfigMap.isEmpty()) {
fTheOneIndexerID= fIndexerConfigMap.keySet().iterator().next();
fTheOneIndexerID= IPDOMManager.ID_NO_INDEXER;
for (String id : fIndexerConfigMap.keySet()) {
if (!IPDOMManager.ID_NO_INDEXER.equals(id)) {
fTheOneIndexerID= id;
break;
}
}
}
}