if (isConstructed) {
Widget widget = getChildWidgetByName(widgetName);
if (widget != null) {
int index = pane.indexOfComponent(widget.getWidget());
if (index == -1)
throw new GUIException("That widget is not a child of the tabbed pane");
pane.removeTabAt(index);
String title = (String) paneInfo.get(widgetName + ".title");
if (title == null)
title = "(unnamed)";
pane.insertTab(
title,
(Icon) paneInfo.get(widgetName + ".icon"),
widget.getWidget(),
(String) paneInfo.get(widgetName + ".tooltip"), index);
} else {
throw new GUIException("A tab with that name was not found");
}
}
} else {
super.setProperty(name, value);
}