(ChangeEvent e)
| 1572 | contentPane.add(tabbedPane, BorderLayout.CENTER); |
| 1573 | tabbedPane.addChangeListener(new ChangeListener() { |
| 1574 | @Override |
| 1575 | public void stateChanged(ChangeEvent e) { |
| 1576 | previousNode = selectedNode; |
| 1577 | selectedNode = getSelectedNode(); |
| 1578 | newNodeSelected = true; |
| 1579 | refreshSelectedTab(); |
| 1580 | if ((previousNode != null) && (selectedNode != null)) { |
| 1581 | // set html properties of newly selected node |
| 1582 | if ((selectedNode.getURL() == null) && !selectedNode.tabData.isEmpty()) { |
| 1583 | int page = Math.max(0, selectedNode.tabNumber); |
| 1584 | LaunchNode.DisplayTab htmlData = selectedNode.tabData.get(page); |
| 1585 | selectedNode.setURL(htmlData.url); |
| 1586 | selectedNode.tabNumber = page; |
| 1587 | // OSPLog.info("set selected node "+selectedNode+" to "+selectedNode.htmlURL //$NON-NLS-1$ |
| 1588 | // +"and tabnumber "+selectedNode.tabNumber); //$NON-NLS-1$ |
| 1589 | } |
| 1590 | // post undoable NavEdit |
| 1591 | if (postEdits) { |
| 1592 | UndoableEdit edit = undoManager.new NavEdit(previousNode, selectedNode); |
| 1593 | undoSupport.postEdit(edit); |
| 1594 | } |
| 1595 | } |
| 1596 | refreshGUI(); |
| 1597 | } |
| 1598 | |
| 1599 | }); |
| 1600 | tabListener = new MouseAdapter() { |
nothing calls this directly
no test coverage detected