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.
23 import jalview.api.AlignViewportI;
25 import java.awt.Color;
26 import java.awt.Cursor;
27 import java.awt.Graphics;
28 import java.awt.event.MouseEvent;
29 import java.awt.event.MouseListener;
30 import java.awt.event.MouseMotionListener;
32 import javax.swing.JPanel;
40 public class IdwidthAdjuster extends JPanel
41 implements MouseListener, MouseMotionListener
43 boolean active = false;
50 * Creates a new IdwidthAdjuster object.
55 public IdwidthAdjuster(AlignmentPanel ap)
58 setBackground(Color.white);
59 addMouseListener(this);
60 addMouseMotionListener(this);
70 public void mousePressed(MouseEvent evt)
82 public void mouseReleased(MouseEvent evt)
88 * If in a SplitFrame with co-scaled alignments, set the other's id width to
91 final AlignViewportI viewport = ap.getAlignViewport();
92 if (viewport.getCodingComplement() != null
93 && viewport.isScaleProteinAsCdna())
95 viewport.getCodingComplement().setIdWidth(viewport.getIdWidth());
96 SplitFrame sf = (SplitFrame) ap.alignFrame.getSplitViewContainer();
109 public void mouseEntered(MouseEvent evt)
122 public void mouseExited(MouseEvent evt)
135 public void mouseDragged(MouseEvent evt)
139 final AlignViewportI viewport = ap.getAlignViewport();
140 int curwidth = viewport.getIdWidth();
141 int dif = evt.getX() - oldX;
143 final int newWidth = curwidth + dif;
144 if ((newWidth > 20) || (dif > 0))
146 viewport.setIdWidth(newWidth);
148 ap.paintAlignment(true, false);
161 public void mouseMoved(MouseEvent evt)
172 public void mouseClicked(MouseEvent evt)
183 public void paintComponent(Graphics g)
185 g.setColor(Color.white);
186 g.fillRect(0, 0, getWidth(), getHeight());
190 setCursor(Cursor.getPredefinedCursor(Cursor.W_RESIZE_CURSOR));