+ 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.getSequenceSetId());\r
+ repaint();\r
+ }\r
+ }\r
+\r
+ public void mouseDragged(MouseEvent ect)\r
+ {}\r
+\r
+ public void mouseMoved(MouseEvent evt)\r
+ {\r
+ av.setCurrentTree(tree);\r
+\r
+ Object ob = findElement(evt.getX(), evt.getY());\r
+\r
+ if (ob instanceof SequenceNode)\r
+ {\r
+ highlightNode = (SequenceNode) ob;\r
+ repaint();\r
+ }\r
+ else\r
+ {\r
+ if (highlightNode != null)\r
+ {\r
+ highlightNode = null;\r
+ repaint();\r
+ }\r
+ }\r