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

Fix: discovery pages are not updated after scope change.

Browse source
This commit is contained in:
Oleg Krasilnikov 2007-04-10 10:13:41 +00:00
parent d710c2c05b
commit 7f5644f01c
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
build/org.eclipse.cdt.managedbuilder.ui/src/org/eclipse/cdt/managedbuilder/ui/properties/DiscoveryTab.java
View file

@ -267,6 +267,16 @@ public class DiscoveryTab extends AbstractCBuildPropertyTab implements IBuildInf
List profilesList = buildInfo.getProfileIdList();
Collections.sort(profilesList, CDTListComparator.getInstance());
visibleProfilesList = new ArrayList(profilesList.size());
if (realPages != null && realPages.length > 0) {
for (int i=0; i<realPages.length; i++) {
if (realPages[i] != null) {
realPages[i].setVisible(false);
realPages[i].dispose();
}
}
}
realPages = new AbstractDiscoveryPage[profilesList.size()];
String[] labels = new String[profilesList.size()];
String[] profiles = new String[profilesList.size()];