package jalview.gui;\r
\r
+import jalview.datamodel.*;\r
import java.awt.*;\r
import java.awt.event.*;\r
-\r
import javax.swing.*;\r
\r
public class ScalePanel extends JPanel\r
{\r
\r
- protected ScaleCanvas scaleCanvas;\r
-\r
- protected int offy;\r
+ protected int offy = 4;\r
public int width;\r
\r
protected AlignViewport av;\r
+ AlignmentPanel ap;\r
\r
- public ScalePanel(AlignViewport av) {\r
+ boolean stretchingGroup = false;\r
+\r
+ public ScalePanel(AlignViewport av, AlignmentPanel ap)\r
+ {\r
this.av = av;\r
+ this.ap = ap;\r
\r
- scaleCanvas = new ScaleCanvas(av);\r
- setLayout(new BorderLayout());\r
- add(scaleCanvas, BorderLayout.CENTER);\r
addMouseListener(new MouseAdapter()\r
{\r
public void mousePressed(MouseEvent evt)\r
{\r
doMousePressed(evt);\r
}\r
+ public void mouseReleased(MouseEvent evt)\r
+ {\r
+ doMouseReleased(evt);\r
+ }\r
+\r
+ });\r
+ addMouseMotionListener(new MouseMotionAdapter()\r
+ {\r
+ public void mouseDragged(MouseEvent evt)\r
+ {\r
+ doMouseDragged(evt);\r
+ }\r
});\r
- }\r
\r
- public Dimension getMinimumSize() {\r
- return scaleCanvas.getMinimumSize();\r
}\r
\r
- public Dimension getPreferredSize() {\r
- return scaleCanvas.getPreferredSize();\r
- }\r
\r
public void doMousePressed(MouseEvent evt) {\r
int x = evt.getX();\r
- int res = x/(int)av.getCharWidth() + av.getStartRes();\r
+ int res = x/av.getCharWidth() + av.getStartRes();\r
+ SequenceGroup sg = null;\r
\r
- if (! av.getColumnSelection().contains(res))\r
- av.getColumnSelection().addElement(res);\r
- else\r
+ if (av.getColumnSelection().contains(res))\r
av.getColumnSelection().removeElement(res);\r
+ 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
\r
- repaint();\r
+ //Set the text font\r
+\r
+ gg.setColor(Color.black);\r
+\r
+\r
+ int scalestartx = 0;\r
+ if(space>0)\r
+ scalestartx = startx - startx%space + space;\r
+\r
+\r
+ //Fill the selected columns\r
+ ColumnSelection cs = av.getColumnSelection();\r
+ int width = charWidth;\r
+ if (width == 0)\r
+ width = 1;\r
+\r
+ gg.setColor(new Color(220,0,0));\r
+ for (int i=0; i<cs.size(); i++) {\r
+ int sel = cs.columnAt(i);\r
+ // System.out.println("Selection = " + sel);\r
+ if ( sel >= startx && sel <= endx) {\r
+\r
+ gg.fillRect((sel-startx)*charWidth,0,width,getHeight());\r
+ }\r
+ }\r
+\r
+ // Draw the scale numbers\r
+ gg.setColor(Color.black);\r
+\r
+\r
+ for (int i=scalestartx;i < endx;i+= space) {\r
+\r
+ String string = String.valueOf(i);\r
+\r
+ gg.drawString(string,(i-startx-1)*charWidth, av.charHeight / 2 +offy);\r
+ gg.drawLine( (int)((i-startx-1)*charWidth +charWidth/2), av.charHeight/2 +offy +2, (int)((i-startx-1)*charWidth +charWidth/2),av.charHeight/2 +offy+7);\r
+\r
+ }\r
}\r
+\r
+\r
}\r