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 #190057 : Changing configuration...

Browse source
This commit is contained in:
Oleg Krasilnikov 2007-05-31 11:57:45 +00:00
parent b70999dc02
commit 0d076f6be7
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/ui/newui/AbstractPage.java
View file

@ -508,6 +508,9 @@ implements
cfgDescs = CDTPropertyManager.getProjectDescription(this, getProject()).getConfigurations();
if (cfgDescs == null || cfgDescs.length == 0) return;
Arrays.sort(cfgDescs, CDTListComparator.getInstance());
} else {
// just register in CDTPropertyManager;
CDTPropertyManager.getProjectDescription(this, getProject());
}
// Clear and replace the contents of the selector widget
@ -685,8 +688,8 @@ implements
excludeFromBuildCheck.setEnabled(resd.canExclude(!resd.isExcluded()));
excludeFromBuildCheck.setSelection(resd.isExcluded());
}
for (int i=0; i<CDTPropertyManager.getPagesCount(); i++) {
int x = CDTPropertyManager.getPagesCount();
for (int i=0; i<x; i++) {
Object p = CDTPropertyManager.getPage(i);
if (p == null || !(p instanceof AbstractPage))
continue;