pane.add(leftPane, BorderLayout.WEST);
return pane;
}
JTabbedPane pane = new JTabbedPane();
for (int i = 0; i < def.parameterDefinitions().size(); i++) {
ParameterDefinition parmDef =
(ParameterDefinition) def.parameterDefinitions().get(i);
pane.add(parmDef.getName(), makeDescPane(parmDef));
}
return pane;
}