/* * Jalview - A Sequence Alignment Editor and Viewer * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation; either version 2 * of the License, or (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA */ package jalview.appletgui; import java.awt.*; import java.awt.event.*; import jalview.datamodel.*; public class ScalePanel extends Panel { protected int offy = 4; public int width; protected AlignViewport av; AlignmentPanel ap; boolean stretchingGroup = false; public ScalePanel(AlignViewport av, AlignmentPanel ap) { setLayout(null); this.av = av; this.ap = ap; addMouseListener(new MouseAdapter() { public void mousePressed(MouseEvent evt) { doMousePressed(evt); } public void mouseReleased(MouseEvent evt) { doMouseReleased(evt); } }); addMouseMotionListener(new MouseMotionAdapter() { public void mouseDragged(MouseEvent evt) { doMouseDragged(evt); } }); } public void doMousePressed(MouseEvent evt) { int x = evt.getX(); int res = x / av.getCharWidth() + av.getStartRes(); SequenceGroup sg = null; if (av.getColumnSelection().contains(res)) { av.getColumnSelection().removeElement(res); } else { av.getColumnSelection().addElement(res); sg = new SequenceGroup(); for (int i = 0; i < av.alignment.getSequences().size(); i++) { sg.addSequence(av.alignment.getSequenceAt(i), false); } sg.setStartRes(res); sg.setEndRes(res); ap.annotationPanel.addEditableColumn(res); } av.setSelectionGroup(sg); ap.repaint(); } public void doMouseReleased(MouseEvent evt) { if (!stretchingGroup) { return; } int x = evt.getX(); int res = x / av.getCharWidth() + av.getStartRes(); if(res> av.alignment.getWidth()) { res = av.alignment.getWidth()-1; } if (!av.getColumnSelection().contains(res)) { av.getColumnSelection().addElement(res); } SequenceGroup sg = av.getSelectionGroup(); if (res > sg.getStartRes()) { sg.setEndRes(res); } else if (res < sg.getStartRes()) { sg.setStartRes(res); } stretchingGroup = false; ap.repaint(); } public void doMouseDragged(MouseEvent evt) { int x = evt.getX(); int res = x / av.getCharWidth() + av.getStartRes(); if(res> av.alignment.getWidth()) { res = av.alignment.getWidth()-1; } SequenceGroup sg = av.getSelectionGroup(); if (sg != null) { stretchingGroup = true; if (res > sg.getStartRes()) { sg.setEndRes(res); } else if (res < sg.getStartRes()) { sg.setStartRes(res); } ap.annotationPanel.addEditableColumn(res); ap.repaint(); } } public void update(Graphics g) { paint(g); } public void paint(Graphics g) { drawScale(g, av.getStartRes(), av.getEndRes(), getSize().width, getSize().height); } // scalewidth will normally be screenwidth, public void drawScale(Graphics gg, int startx, int endx, int width, int height) { gg.setFont(av.getFont()); //Fill in the background gg.setColor(Color.white); gg.fillRect(0, 0, width, height); gg.setColor(Color.black); //Fill the selected columns ColumnSelection cs = av.getColumnSelection(); gg.setColor(new Color(220, 0, 0)); for (int i = 0; i < cs.size(); i++) { int sel = cs.columnAt(i); if (sel >= startx && sel <= endx) { gg.fillRect( (sel - startx) * av.charWidth, 0, av.charWidth, getSize().height); } } // Draw the scale numbers gg.setColor(Color.black); int scalestartx = (startx / 10) * 10; FontMetrics fm = gg.getFontMetrics(av.getFont()); int y = av.charHeight - fm.getDescent(); if (scalestartx % 10 == 0) { scalestartx += 5; } String string; int maxX=0; for (int i = scalestartx; i < endx; i += 5) { if (i % 10 == 0) { string = String.valueOf(i); if ( (i - startx - 1) * av.charWidth > maxX) { gg.drawString(string, (i - startx - 1) * av.charWidth, y); maxX = (i - startx + 1) * av.charWidth + fm.stringWidth(string); } gg.drawLine( (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2), y + 2, (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2), y + fm.getDescent() * 2); } else { gg.drawLine( (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2), y + fm.getDescent(), (int) ( (i - startx - 1) * av.charWidth + av.charWidth / 2), y + fm.getDescent() * 2); } } } }