+ public void mouseClicked(MouseEvent evt)\r
+ {\r
+ if (highlightNode != null)\r
+ {\r
+ if (evt.getClickCount() > 1)\r
+ {\r
+ tree.swapNodes(highlightNode);\r
+ tree.reCount(tree.getTopNode());\r
+ tree.findHeight(tree.getTopNode());\r
+ }\r
+ else\r
+ {\r
+ Vector leaves = new Vector();\r
+ tree.findLeaves(highlightNode, leaves);\r
+\r
+ for (int i = 0; i < leaves.size(); i++)\r
+ {\r
+ SequenceI seq =\r
+ (SequenceI) ( (SequenceNode) leaves.elementAt(i)).element();\r
+ treeSelectionChanged(seq);\r
+ }\r
+ }\r
+\r
+ PaintRefresher.Refresh(this, av.alignment);\r
+ repaint();\r
+ }\r
+ }\r
+\r
+ public void mouseDragged(MouseEvent ect)\r
+ {}\r
+\r
+\r
+ public void mouseMoved(MouseEvent evt)\r