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     if (av.getColumnSelection().contains(res))\r
  75     {\r
  76       av.getColumnSelection().removeElement(res);\r
  77     }\r
  78     else\r
  79     {\r
  80       av.getColumnSelection().addElement(res);\r
  81 \r
  82       sg = new SequenceGroup();\r
  83       for (int i = 0; i < av.alignment.getSequences().size(); i++)\r
  84       {\r
  85         sg.addSequence(av.alignment.getSequenceAt(i), false);\r
  86       }\r
  87 \r
  88       sg.setStartRes(res);\r
  89       sg.setEndRes(res);\r
  90 \r
  91       ap.annotationPanel.addEditableColumn(res);\r
  92     }\r
  93     av.setSelectionGroup(sg);\r
  94     ap.repaint();\r
  95   }\r
  96 \r
  97   public void doMouseReleased(MouseEvent evt)\r
  98   {\r
  99     if (!stretchingGroup)\r
 100     {\r
 101       return;\r
 102     }\r
 103 \r
 104     int x = evt.getX();\r
 105     int res = x / av.getCharWidth() + av.getStartRes();\r
 106 \r
 107     if(res> av.alignment.getWidth())\r
 108     {\r
 109       res = av.alignment.getWidth()-1;\r
 110     }\r
 111 \r
 112     if (!av.getColumnSelection().contains(res))\r
 113     {\r
 114       av.getColumnSelection().addElement(res);\r
 115     }\r
 116 \r
 117     SequenceGroup sg = av.getSelectionGroup();\r
 118 \r
 119     if (res > sg.getStartRes())\r
 120     {\r
 121       sg.setEndRes(res);\r
 122     }\r
 123     else if (res < sg.getStartRes())\r
 124     {\r
 125       sg.setStartRes(res);\r
 126     }\r
 127 \r
 128     stretchingGroup = false;\r
 129     ap.repaint();\r
 130   }\r
 131 \r
 132   public void doMouseDragged(MouseEvent evt)\r
 133   {\r
 134     int x = evt.getX();\r
 135     int res = x / av.getCharWidth() + av.getStartRes();\r
 136 \r
 137     if(res> av.alignment.getWidth())\r
 138     {\r
 139       res = av.alignment.getWidth()-1;\r
 140     }\r
 141 \r
 142     SequenceGroup sg = av.getSelectionGroup();\r
 143     if (sg != null)\r
 144     {\r
 145       stretchingGroup = true;\r
 146       if (res > sg.getStartRes())\r
 147       {\r
 148         sg.setEndRes(res);\r
 149       }\r
 150       else if (res < sg.getStartRes())\r
 151       {\r
 152         sg.setStartRes(res);\r
 153       }\r
 154 \r
 155       ap.annotationPanel.addEditableColumn(res);\r
 156       ap.repaint();\r
 157     }\r
 158   }\r
 159 \r
 160   public void update(Graphics g)\r
 161   {\r
 162     paint(g);\r
 163   }\r
 164 \r
 165   public void paint(Graphics g)\r
 166   {\r
 167     drawScale(g, av.getStartRes(), av.getEndRes(), getSize().width,\r
 168               getSize().height);\r
 169   }\r
 170 \r
 171 // scalewidth will normally be screenwidth,\r
 172   public void drawScale(Graphics gg, int startx, int endx, int width,\r
 173                         int height)\r
 174   {\r
 175     gg.setFont(av.getFont());\r
 176 \r
 177     //Fill in the background\r
 178     gg.setColor(Color.white);\r
 179     gg.fillRect(0, 0, width, height);\r
 180     gg.setColor(Color.black);\r
 181 \r
 182     //Fill the selected columns\r
 183     ColumnSelection cs = av.getColumnSelection();\r
 184     gg.setColor(new Color(220, 0, 0));\r
 185     for (int i = 0; i < cs.size(); i++)\r
 186     {\r
 187       int sel = cs.columnAt(i);\r
 188       if (sel >= startx && sel <= endx)\r
 189       {\r
 190         gg.fillRect( (sel - startx) * av.charWidth, 0, av.charWidth,\r
 191                     getSize().height);\r
 192       }\r
 193     }\r
 194 \r
 195     // Draw the scale numbers\r
 196     gg.setColor(Color.black);\r
 197     int scalestartx = (startx / 10) * 10;\r
 198 \r
 199     FontMetrics fm = gg.getFontMetrics(av.getFont());\r
 200     int y = av.charHeight - fm.getDescent();\r
 201 \r
 202     if (scalestartx % 10 == 0)\r
 203     {\r
 204       scalestartx += 5;\r
 205     }\r
 206 \r
 207     String string;\r
 208     int maxX=0;\r
 209 \r
 210     for (int i = scalestartx; i < endx; i += 5)\r
 211     {\r
 212       if (i % 10 == 0)\r
 213       {\r
 214         string = String.valueOf(i);\r
 215         if ( (i - startx - 1) * av.charWidth > maxX)\r
 216         {\r
 217           gg.drawString(string,\r
 218                         (i - startx - 1) * av.charWidth, y);\r
 219           maxX = (i - startx + 1) * av.charWidth + fm.stringWidth(string);\r
 220         }\r
 221 \r
 222         gg.drawLine( (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),\r
 223                     y + 2,\r
 224                     (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),\r
 225                     y + fm.getDescent() * 2);\r
 226       }\r
 227       else\r
 228       {\r
 229         gg.drawLine( (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),\r
 230                     y + fm.getDescent(),\r
 231                     (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),\r
 232                     y + fm.getDescent() * 2);\r
 233       }\r
 234 \r
 235     }\r
 236   }\r
 237 \r
 238 }\r