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));\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 (!av.getColumnSelection().contains(res))\r
 108     {\r
 109       av.getColumnSelection().addElement(res);\r
 110     }\r
 111 \r
 112     SequenceGroup sg = av.getSelectionGroup();\r
 113 \r
 114     if (res > sg.getStartRes())\r
 115     {\r
 116       sg.setEndRes(res);\r
 117     }\r
 118     else if (res < sg.getStartRes())\r
 119     {\r
 120       sg.setStartRes(res);\r
 121     }\r
 122 \r
 123     stretchingGroup = false;\r
 124     ap.repaint();\r
 125   }\r
 126 \r
 127   public void doMouseDragged(MouseEvent evt)\r
 128   {\r
 129     int x = evt.getX();\r
 130     int res = x / av.getCharWidth() + av.getStartRes();\r
 131 \r
 132     SequenceGroup sg = av.getSelectionGroup();\r
 133     if (sg != null)\r
 134     {\r
 135       stretchingGroup = true;\r
 136       if (res > sg.getStartRes())\r
 137       {\r
 138         sg.setEndRes(res);\r
 139       }\r
 140       else if (res < sg.getStartRes())\r
 141       {\r
 142         sg.setStartRes(res);\r
 143       }\r
 144 \r
 145       ap.annotationPanel.addEditableColumn(res);\r
 146       ap.repaint();\r
 147     }\r
 148   }\r
 149 \r
 150   public void update(Graphics g)\r
 151   {\r
 152     paint(g);\r
 153   }\r
 154 \r
 155   public void paint(Graphics g)\r
 156   {\r
 157     drawScale(g, av.getStartRes(), av.getEndRes(), getSize().width,\r
 158               getSize().height);\r
 159   }\r
 160 \r
 161 // scalewidth will normally be screenwidth,\r
 162   public void drawScale(Graphics gg, int startx, int endx, int width,\r
 163                         int height)\r
 164   {\r
 165     gg.setFont(av.getFont());\r
 166 \r
 167     //Fill in the background\r
 168     gg.setColor(Color.white);\r
 169     gg.fillRect(0, 0, width, height);\r
 170     gg.setColor(Color.black);\r
 171 \r
 172     //Fill the selected columns\r
 173     ColumnSelection cs = av.getColumnSelection();\r
 174     gg.setColor(new Color(220, 0, 0));\r
 175     for (int i = 0; i < cs.size(); i++)\r
 176     {\r
 177       int sel = cs.columnAt(i);\r
 178       if (sel >= startx && sel <= endx)\r
 179       {\r
 180         gg.fillRect( (sel - startx) * av.charWidth, 0, av.charWidth,\r
 181                     getSize().height);\r
 182       }\r
 183     }\r
 184 \r
 185     // Draw the scale numbers\r
 186     gg.setColor(Color.black);\r
 187     int scalestartx = (startx / 10) * 10;\r
 188 \r
 189     FontMetrics fm = gg.getFontMetrics(av.getFont());\r
 190     int y = av.charHeight - fm.getDescent();\r
 191 \r
 192     if (scalestartx % 10 == 0)\r
 193     {\r
 194       scalestartx += 5;\r
 195     }\r
 196 \r
 197     for (int i = scalestartx; i < endx; i += 5)\r
 198     {\r
 199       if (i % 10 == 0)\r
 200       {\r
 201         gg.drawString(String.valueOf(i), (i - startx - 1) * av.charWidth, y);\r
 202         gg.drawLine( (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),\r
 203                     y + 2,\r
 204                     (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),\r
 205                     y + fm.getDescent() * 2);\r
 206       }\r
 207       else\r
 208       {\r
 209         gg.drawLine( (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),\r
 210                     y + fm.getDescent(),\r
 211                     (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2),\r
 212                     y + fm.getDescent() * 2);\r
 213       }\r
 214 \r
 215     }\r
 216   }\r
 217 \r
 218 }\r