(TreeSelectionEvent e)
| 1006 | tab.tree.setCellRenderer(new LaunchRenderer()); |
| 1007 | tab.tree.addTreeSelectionListener(new TreeSelectionListener() { |
| 1008 | @Override |
| 1009 | public void valueChanged(TreeSelectionEvent e) { |
| 1010 | newNodeSelected = true; |
| 1011 | refreshGUI(); |
| 1012 | } |
| 1013 | |
| 1014 | }); |
| 1015 | tab.tree.addMouseListener(new MouseAdapter() { |
nothing calls this directly
no test coverage detected