2 * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3 * Copyright (C) $$Year-Rel$$ The Jalview Authors
5 * This file is part of Jalview.
7 * Jalview is free software: you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation, either version 3
10 * of the License, or (at your option) any later version.
12 * Jalview is distributed in the hope that it will be useful, but
13 * WITHOUT ANY WARRANTY; without even the implied warranty
14 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
15 * PURPOSE. See the GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with Jalview. If not, see <http://www.gnu.org/licenses/>.
19 * The Jalview Authors are detailed in the 'AUTHORS' file.
21 package jalview.appletgui;
23 import java.awt.Color;
24 import java.awt.Cursor;
25 import java.awt.Dimension;
26 import java.awt.Panel;
27 import java.awt.event.MouseEvent;
28 import java.awt.event.MouseListener;
29 import java.awt.event.MouseMotionListener;
31 public class IdwidthAdjuster extends Panel
32 implements MouseListener, MouseMotionListener
34 boolean active = false;
40 public IdwidthAdjuster(AlignmentPanel ap)
44 setBackground(Color.WHITE);
45 addMouseListener(this);
46 addMouseMotionListener(this);
50 public void mousePressed(MouseEvent evt)
56 public void mouseReleased(MouseEvent evt)
62 * If in a SplitFrame with co-scaled alignments, set the other's id width to
63 * match; note applet does not (yet) store this in ViewStyle
66 * Code disabled for now as it doesn't work, don't know why; idCanvas width
67 * keeps resetting to a previous value (actually two alternating values!)
69 // final AlignViewportI viewport = ap.getAlignViewport();
70 // if (viewport.getCodingComplement() != null
71 // && viewport.isScaleProteinAsCdna())
73 // Dimension d = ap.idPanel.idCanvas.getSize();
74 // SplitFrame sf = ap.alignFrame.getSplitFrame();
75 // final AlignmentPanel otherPanel =
76 // sf.getComplement(ap.alignFrame).alignPanel;
77 // otherPanel.setIdWidth(d.width, d.height);
78 // otherPanel.repaint();
83 public void mouseEntered(MouseEvent evt)
86 setCursor(Cursor.getPredefinedCursor(Cursor.W_RESIZE_CURSOR));
92 public void mouseExited(MouseEvent evt)
95 setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
100 public void mouseDragged(MouseEvent evt)
103 Dimension d = ap.idPanel.idCanvas.getSize();
104 int dif = evt.getX() - oldX;
106 final int newWidth = d.width + dif;
107 if (newWidth > 20 || dif > 0)
109 ap.setIdWidth(newWidth, d.height);
110 this.setSize(newWidth, getSize().height);
116 public void mouseMoved(MouseEvent evt)
121 public void mouseClicked(MouseEvent evt)