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

Bug 135050 - Don't set the indexer id when it isn't set in the project preferences. Only set it under UI when the workspace isn't locked.

This commit is contained in:
Doug Schaefer 2006-04-05 15:38:05 +00:00
parent 18cbd3defb
commit 667bedd0f8

View file

@ -142,8 +142,6 @@ public class PDOMManager implements IPDOMManager, IElementChangedListener {
if (indexerId == null)
// make it the default
indexerId = getDefaultIndexerId();
setIndexerId(project, indexerId);
}
return indexerId;
}