selectNavigationPanel();
active = true;
}
public void deactivate(){
CytoPanel cytoPanel = Cytoscape.getDesktop().getCytoPanel(SwingConstants.EAST);
int index = cytoPanel.indexOfComponent(CySBML.NAME);
if (index != -1){
cytoPanel.remove(index);
}
// Test if still other Components, otherwise hide
if (cytoPanel.getCytoPanelComponentCount() == 0){
cytoPanel.setState(CytoPanelState.HIDE);
}
active = false;
}