else {
((JPopupMenu)comp).setPreferredSize(new Dimension(0, 0));
}
}
else if (comp instanceof Panel){
Panel jp = ((Panel) comp);
/*
* if the JPanel was or is part of a JTabbedPane
*/
_log.debug("Panel "+ jp.getCaption() + " parent: " + ((parent == null) ? "null" : parent.getClass().getName()));
if (parent instanceof TabFolder ) {
if (value) {
((TabFolder)parent).showTab(jp); //PM:14/01/2009:moved functionality to TabFolder
_log.debug("Tab: "+jp.getCaption()+" is now visible");
} else {
((TabFolder)parent).hideTab(jp);//PM:14/01/2009:moved functionality to TabFolder
_log.debug("Tab: "+jp.getCaption()+" is now hidden");
}
} else {
comp.setVisible(value);
}
} else if (comp instanceof JPanel) {