src/jalview/appletgui/ScalePanel.java

   1 /*\r
   2  * Jalview - A Sequence Alignment Editor and Viewer\r
   3  * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
   4  *\r
   5  * This program is free software; you can redistribute it and/or\r
   6  * modify it under the terms of the GNU General Public License\r
   7  * as published by the Free Software Foundation; either version 2\r
   8  * of the License, or (at your option) any later version.\r
   9  *\r
  10  * This program is distributed in the hope that it will be useful,\r
  11  * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
  12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
  13  * GNU General Public License for more details.\r
  14  *\r
  15  * You should have received a copy of the GNU General Public License\r
  16  * along with this program; if not, write to the Free Software\r
  17  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA\r
  18  */\r
  19 \r
  20 package jalview.appletgui;\r
  21 \r
  22 import java.awt.*;\r
  23 import java.awt.event.*;\r
  24 \r
  25 import jalview.datamodel.*;\r
  26 \r
  27 public class ScalePanel\r
  28     extends Panel\r
  29 {\r
  30 \r
  31   protected int offy = 4;\r
  32   public int width;\r
  33 \r
  34   protected AlignViewport av;\r
  35   AlignmentPanel ap;\r
  36 \r
  37   boolean stretchingGroup = false;\r
  38 \r
  39   public ScalePanel(AlignViewport av, AlignmentPanel ap)\r
  40   {\r
  41     setLayout(null);\r
  42     this.av = av;\r
  43     this.ap = ap;\r
  44 \r
  45     addMouseListener(new MouseAdapter()\r
  46     {\r
  47       public void mousePressed(MouseEvent evt)\r
  48       {\r
  49         doMousePressed(evt);\r
  50       }\r
  51 \r
  52       public void mouseReleased(MouseEvent evt)\r
  53       {\r
  54         doMouseReleased(evt);\r
  55       }\r
  56 \r
  57     });\r
  58     addMouseMotionListener(new MouseMotionAdapter()\r
  59     {\r
  60       public void mouseDragged(MouseEvent evt)\r
  61       {\r
  62         doMouseDragged(evt);\r
  63       }\r
  64     });\r
  65 \r
  66   }\r
  67 \r
  68   public void doMousePressed(MouseEvent evt)\r
  69   {\r
  70     int x = evt.getX();\r
  71     int res = x / av.getCharWidth() + av.getStartRes();\r
  72     SequenceGroup sg = null;\r
  73 \r
  74 \r
  75     if (av.getColumnSelection().contains(res))\r
  76     {\r
  77       av.getColumnSelection().removeElement(res);\r
  78     }\r
  79     else\r
  80     {\r
  81       av.getColumnSelection().addElement(res);\r
  82 \r
  83       sg = new SequenceGroup();\r
  84       for (int i = 0; i < av.alignment.getSequences().size(); i++)\r
  85       {\r
  86         sg.addSequence(av.alignment.getSequenceAt(i), false);\r
  87       }\r
  88 \r
  89       sg.setStartRes(res);\r
  90       sg.setEndRes(res);\r
  91 \r
  92       ap.annotationPanel.addEditableColumn(res);\r
  93     }\r
  94     av.setSelectionGroup(sg);\r
  95     ap.repaint();\r
  96   }\r
  97 \r
  98   public void doMouseReleased(MouseEvent evt)\r
  99   {\r
 100     if (!stretchingGroup)\r
 101     {\r
 102       return;\r
 103     }\r
 104 \r
 105     int x = evt.getX();\r
 106     int res = x / av.getCharWidth() + av.getStartRes();\r
 107 \r
 108     if(res> av.alignment.getWidth())\r
 109     {\r
 110       res = av.alignment.getWidth()-1;\r
 111     }\r
 112 \r
 113     if (!av.getColumnSelection().contains(res))\r
 114     {\r
 115       av.getColumnSelection().addElement(res);\r
 116     }\r
 117 \r
 118     SequenceGroup sg = av.getSelectionGroup();\r
 119 \r
 120     if (res > sg.getStartRes())\r
 121     {\r
 122       sg.setEndRes(res);\r
 123     }\r
 124     else if (res < sg.getStartRes())\r
 125     {\r
 126       sg.setStartRes(res);\r
 127     }\r
 128 \r
 129     stretchingGroup = false;\r
 130     ap.repaint();\r
 131   }\r
 132 \r
 133   public void doMouseDragged(MouseEvent evt)\r
 134   {\r
 135     int x = evt.getX();\r
 136     int res = x / av.getCharWidth() + av.getStartRes();\r
 137 \r
 138     if(res> av.alignment.getWidth())\r
 139     {\r
 140       res = av.alignment.getWidth()-1;\r
 141     }\r
 142 \r
 143     SequenceGroup sg = av.getSelectionGroup();\r
 144     if (sg != null)\r
 145     {\r
 146       stretchingGroup = true;\r
 147       if (res > sg.getStartRes())\r
 148       {\r
 149         sg.setEndRes(res);\r
 150       }\r
 151       else if (res < sg.getStartRes())\r
 152       {\r
 153         sg.setStartRes(res);\r
 154       }\r
 155 \r
 156       ap.annotationPanel.addEditableColumn(res);\r
 157       ap.repaint();\r
 158     }\r
 159   }\r
 160 \r
 161   public void update(Graphics g)\r
 162   {\r
 163     paint(g);\r
 164   }\r
 165 \r
 166   public void paint(Graphics g)\r
 167   {\r
 168     drawScale(g, av.getStartRes(), av.getEndRes(), getSize().width,\r
 169               getSize().height);\r
 170   }\r
 171 \r
 172 // scalewidth will normally be screenwidth,\r
 173   public void drawScale(Graphics gg, int startx, int endx, int width,\r
 174                         int height)\r
 175   {\r
 176     gg.setFont(av.getFont());\r
 177 \r
 178     //Fill in the background\r
 179     gg.setColor(Color.white);\r
 180     gg.fillRect(0, 0, width, height);\r
 181     gg.setColor(Color.black);\r
 182 \r
 183     //Fill the selected columns\r
 184     ColumnSelection cs = av.getColumnSelection();\r
 185     gg.setColor(new Color(220, 0, 0));\r
 186     for (int i = 0; i < cs.size(); i++)\r
 187     {\r
 188       int sel = cs.columnAt(i);\r
 189       if (sel >= startx && sel <= endx)\r
 190       {\r
 191         gg.fillRect( (sel - startx) * av.charWidth, 0, av.charWidth,\r
 192                     getSize().height);\r
 193       }\r
 194     }\r
 195 \r
 196     // Draw the scale numbers\r
 197     gg.setColor(Color.black);\r
 198     int scalestartx = (startx / 10) * 10;\r
 199 \r
 200     FontMetrics fm = gg.getFontMetrics(av.getFont());\r
 201     int y = av.charHeight - fm.getDescent();\r
 202 \r
 203     if (scalestartx % 10 == 0)\r
 204     {\r
 205       scalestartx += 5;\r
 206     }\r
 207 \r
 208     String string;\r
 209     int maxX=0;\r
 210 \r
 211     for (int i = scalestartx; i < endx; i += 5)\r
 212     {\r
 213       if (i % 10 == 0)\r
 214       {\r
 215         string = String.valueOf(i);\r
 216         if ( (i - startx - 1) * av.charWidth > maxX)\r
 217         {\r
 218           gg.drawString(string,\r
 219                         (i - startx - 1) * av.charWidth, y);\r
 220           maxX = (i - startx + 1) * av.charWidth + fm.stringWidth(string);\r
 221         }\r
 222 \r
 223         gg.drawLine( (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),\r
 224                     y + 2,\r
 225                     (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),\r
 226                     y + fm.getDescent() * 2);\r
 227       }\r
 228       else\r
 229       {\r
 230         gg.drawLine( (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),\r
 231                     y + fm.getDescent(),\r
 232                     (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),\r
 233                     y + fm.getDescent() * 2);\r
 234       }\r
 235 \r
 236     }\r
 237   }\r
 238 \r
 239 }\r