private void displayTool(Component comp) { if (tabbedPane != null && tabbedPane.getTabCount() > 1) { if (tabbedPane.indexOfComponent(comp) >= 0) { tabbedPane.setSelectedComponent(comp); } } if (comp instanceof PushpinObj) comp = ((PushpinObj) comp).getPinObj(); if (comp instanceof XMLToolPanel) { ((XMLToolPanel) comp).updateChange(); ((XMLToolPanel) comp).setEditMode(inEditMode); } else if (comp instanceof VToolPanel) ((VToolPanel) comp).updateValue(); }