X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=c6d5d2a1e56282bc2e9cf9e97e250416bb48f5d4;hb=3ab70c7242fba39a5106deb39882648bacfc2ba6;hp=f7ff75a96ffef5d1a35286f08cc559cb93c08f14;hpb=a45774ee31d9f35d4eff46d54d7deab719afb092;p=jalview.git diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java index f7ff75a..c6d5d2a 100755 --- a/src/jalview/gui/IdwidthAdjuster.java +++ b/src/jalview/gui/IdwidthAdjuster.java @@ -1,25 +1,34 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7) - * Copyright (C) 2011 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$) + * Copyright (C) $$Year-Rel$$ The Jalview Authors * * This file is part of Jalview. * * Jalview 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 3 of the License, or (at your option) any later version. - * + * as published by the Free Software Foundation, either version 3 + * of the License, or (at your option) any later version. + * * Jalview 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 Jalview. If not, see . + * You should have received a copy of the GNU General Public License + * along with Jalview. If not, see . + * The Jalview Authors are detailed in the 'AUTHORS' file. */ package jalview.gui; -import java.awt.*; -import java.awt.event.*; -import javax.swing.*; +import jalview.api.AlignViewportI; + +import java.awt.Cursor; +import java.awt.Graphics; +import java.awt.event.MouseEvent; +import java.awt.event.MouseListener; +import java.awt.event.MouseMotionListener; + +import javax.swing.JPanel; /** * DOCUMENT ME! @@ -27,15 +36,13 @@ import javax.swing.*; * @author $author$ * @version $Revision$ */ -public class IdwidthAdjuster extends JPanel implements MouseListener, - MouseMotionListener +public class IdwidthAdjuster extends JPanel + implements MouseListener, MouseMotionListener { boolean active = false; int oldX = 0; - Image image; - AlignmentPanel ap; /** @@ -48,13 +55,6 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, { this.ap = ap; - java.net.URL url = getClass().getResource("/images/idwidth.gif"); - - if (url != null) - { - image = java.awt.Toolkit.getDefaultToolkit().createImage(url); - } - addMouseListener(this); addMouseMotionListener(this); } @@ -65,6 +65,7 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, * @param evt * DOCUMENT ME! */ + @Override public void mousePressed(MouseEvent evt) { oldX = evt.getX(); @@ -76,10 +77,25 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, * @param evt * DOCUMENT ME! */ + @Override public void mouseReleased(MouseEvent evt) { active = false; repaint(); + + /* + * If in a SplitFrame with co-scaled alignments, set the other's id width to + * match + */ + final AlignViewportI viewport = ap.getAlignViewport(); + if (viewport.getCodingComplement() != null + && viewport.isScaleProteinAsCdna()) + { + viewport.getCodingComplement().setIdWidth(viewport.getIdWidth()); + SplitFrame sf = (SplitFrame) ap.alignFrame.getSplitViewContainer(); + sf.repaint(); + } + } /** @@ -88,6 +104,7 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, * @param evt * DOCUMENT ME! */ + @Override public void mouseEntered(MouseEvent evt) { active = true; @@ -100,6 +117,7 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, * @param evt * DOCUMENT ME! */ + @Override public void mouseExited(MouseEvent evt) { active = false; @@ -112,18 +130,21 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, * @param evt * DOCUMENT ME! */ + @Override public void mouseDragged(MouseEvent evt) { active = true; - Dimension d = ap.idPanel.idCanvas.getPreferredSize(); + final AlignViewportI viewport = ap.getAlignViewport(); + int curwidth = viewport.getIdWidth(); int dif = evt.getX() - oldX; - if (((d.width + dif) > 20) || (dif > 0)) + final int newWidth = curwidth + dif; + if ((newWidth > 20) || (dif > 0)) { - ap.idPanel.idCanvas.setPreferredSize(new Dimension(d.width + dif, - d.height)); - ap.paintAlignment(true); + viewport.setIdWidth(newWidth); + + ap.paintAlignment(true, false); } oldX = evt.getX(); @@ -135,6 +156,7 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, * @param evt * DOCUMENT ME! */ + @Override public void mouseMoved(MouseEvent evt) { } @@ -145,6 +167,7 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, * @param evt * DOCUMENT ME! */ + @Override public void mouseClicked(MouseEvent evt) { } @@ -155,17 +178,12 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, * @param g * DOCUMENT ME! */ + @Override public void paintComponent(Graphics g) { - g.setColor(Color.white); - g.fillRect(0, 0, getWidth(), getHeight()); - if (active) { - if (image != null) - { - g.drawImage(image, getWidth() - 20, 2, this); - } + setCursor(Cursor.getPredefinedCursor(Cursor.W_RESIZE_CURSOR)); } } }