+ else\r
+ {\r
+ av.getColumnSelection().addElement(res);\r
+\r
+ sg = new SequenceGroup();\r
+ for (int i = 0; i < av.alignment.getSequences().size(); i++)\r
+ sg.addSequence(av.alignment.getSequenceAt(i));\r
+\r
+ sg.setStartRes(res);\r
+ sg.setEndRes(res);\r
+\r
+ ap.annotationPanel.addEditableColumn(res);\r
+ }\r
+ av.setSelectionGroup(sg);\r
+ ap.repaint();\r
+ }\r
+\r
+ public void doMouseReleased(MouseEvent evt)\r
+ {\r
+ if(!stretchingGroup)\r
+ return;\r
+\r
+ int x = evt.getX();\r
+ int res = x/av.getCharWidth() + av.getStartRes();\r
+\r
+ if (! av.getColumnSelection().contains(res))\r
+ av.getColumnSelection().addElement(res);\r
+\r
+ SequenceGroup sg = av.getSelectionGroup();\r
+\r
+ if(res>sg.getStartRes())\r
+ sg.setEndRes(res);\r
+ else if(res<sg.getStartRes())\r
+ sg.setStartRes(res);\r
+\r
+ stretchingGroup = false;\r
+ ap.repaint();\r
+ }\r
+\r
+ public void doMouseDragged(MouseEvent evt)\r
+ {\r
+ int x = evt.getX();\r
+ int res = x/av.getCharWidth() + av.getStartRes();\r
+\r
+ SequenceGroup sg = av.getSelectionGroup();\r
+ if(sg!=null)\r
+ {\r
+ stretchingGroup = true;\r
+ if (res > sg.getStartRes())\r
+ sg.setEndRes(res);\r
+ else if (res < sg.getStartRes())\r
+ sg.setStartRes(res);\r
+\r
+ ap.annotationPanel.addEditableColumn(res);\r
+ ap.repaint();\r
+ }\r
+ }\r
+\r
+ public void paintComponent(Graphics g)\r
+ {\r
+ drawScale(g, av.getStartRes(), av.getEndRes(), getWidth());\r
+ }\r
+\r
+// scalewidth will normally be screenwidth,\r
+ public void drawScale(Graphics g, int startx, int endx, int scaleWidth)\r
+ {\r
+ Graphics2D gg = (Graphics2D)g;\r
+ gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,RenderingHints.VALUE_ANTIALIAS_ON);\r
+ int charWidth = av.getCharWidth();\r
+\r
+ gg.setFont(av.getFont());\r
+\r
+ //Fill in the background\r
+\r
+ gg.setColor(Color.white);\r
+ gg.fillRect(0,0,scaleWidth, getHeight());\r
+\r
+ int resWidth = endx - startx + 1;\r
+\r
+ // We want roughly one tick every 50 pixels\r
+\r
+ double rough = scaleWidth/50.0;\r
+\r
+ double roughtick = resWidth/rough;\r
+\r
+ int digits = (int)(Math.log(roughtick)/Math.log(10));\r
+ int num = (int)(roughtick/Math.pow(10,digits));\r
+\r
+ if (roughtick>5)\r
+ num = 10;\r
+ else\r
+ num = 5;\r
+\r
+ // else\r
+ // num = 2;\r
+\r
+ // System.out.println("Dig " + digits + " " + rough + " " + roughtick + " " + getWidth() + " " + num);\r
+\r
+ int space = (int)(num * Math.pow(10,digits));\r