expandAllNodes(this.platforms, node, mgr, platform);
}
private static void expandAllNodes (BeanTreeView btv, Node node, ExplorerManager mgr, ScalaPlatform platform) {
btv.expandNode (node);
Children ch = node.getChildren();
if ( ch == Children.LEAF ) {
if (platform != null && platform.equals(node.getLookup().lookup(ScalaPlatform.class))) {
try {
mgr.setSelectedNodes (new Node[] {node});
} catch (PropertyVetoException e) {
//Ignore it
}
}
return;
}
Node nodes[] = ch.getNodes( true );
for ( int i = 0; i < nodes.length; i++ ) {
expandAllNodes( btv, nodes[i], mgr, platform);
}
}