2 * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
\r
3 * Copyright (C) $$Year-Rel$$ The Jalview Authors
\r
5 * This file is part of Jalview.
\r
7 * Jalview is free software: you can redistribute it and/or
\r
8 * modify it under the terms of the GNU General Public License
\r
9 * as published by the Free Software Foundation, either version 3
\r
10 * of the License, or (at your option) any later version.
\r
12 * Jalview is distributed in the hope that it will be useful, but
\r
13 * WITHOUT ANY WARRANTY; without even the implied warranty
\r
14 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
\r
15 * PURPOSE. See the GNU General Public License for more details.
\r
17 * You should have received a copy of the GNU General Public License
\r
18 * along with Jalview. If not, see <http://www.gnu.org/licenses/>.
\r
19 * The Jalview Authors are detailed in the 'AUTHORS' file.
\r
21 package jalview.appletgui;
\r
23 import java.awt.Color;
\r
24 import java.awt.Dimension;
\r
25 import java.awt.Graphics;
\r
26 import java.awt.Image;
\r
27 import java.awt.event.MouseEvent;
\r
28 import java.awt.event.MouseListener;
\r
29 import java.awt.event.MouseMotionListener;
\r
31 import javax.swing.JPanel;
\r
33 public class IdwidthAdjuster extends JPanel implements MouseListener,
\r
36 boolean active = false;
\r
44 public IdwidthAdjuster(AlignmentPanel ap)
\r
48 java.net.URL url = getClass().getResource("/images/idwidth.gif");
\r
51 image = java.awt.Toolkit.getDefaultToolkit().getImage(url);
\r
54 addMouseListener(this);
\r
55 addMouseMotionListener(this);
\r
58 public void mousePressed(MouseEvent evt)
\r
63 public void mouseReleased(MouseEvent evt)
\r
69 * If in a SplitFrame with co-scaled alignments, set the other's id width to
\r
70 * match; note applet does not (yet) store this in ViewStyle
\r
73 * Code disabled for now as it doesn't work, don't know why; idCanvas width
\r
74 * keeps resetting to a previous value (actually two alternating values!)
\r
76 // final AlignViewportI viewport = ap.getAlignViewport();
\r
77 // if (viewport.getCodingComplement() != null
\r
78 // && viewport.isScaleProteinAsCdna())
\r
80 // Dimension d = ap.idPanel.idCanvas.getSize();
\r
81 // SplitFrame sf = ap.alignFrame.getSplitFrame();
\r
82 // final AlignmentPanel otherPanel =
\r
83 // sf.getComplement(ap.alignFrame).alignPanel;
\r
84 // otherPanel.setIdWidth(d.width, d.height);
\r
85 // otherPanel.repaint();
\r
89 public void mouseEntered(MouseEvent evt)
\r
95 public void mouseExited(MouseEvent evt)
\r
101 public void mouseDragged(MouseEvent evt)
\r
104 Dimension d = ap.idPanel.idCanvas.getSize();
\r
105 int dif = evt.getX() - oldX;
\r
107 final int newWidth = d.width + dif;
\r
108 if (newWidth > 20 || dif > 0)
\r
110 ap.setIdWidth(newWidth, d.height);
\r
111 this.setSize(newWidth, getSize().height);
\r
116 public void mouseMoved(MouseEvent evt)
\r
120 public void mouseClicked(MouseEvent evt)
\r
124 public void paint(Graphics g)
\r
126 g.setColor(Color.white);
\r
127 g.fillRect(0, 0, getSize().width, getSize().height);
\r
132 g.drawImage(image, getSize().width - 20, 2, this);
\r