2 * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2)
3 * Copyright (C) 2014 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;
24 import java.awt.event.*;
26 public class IdwidthAdjuster extends Panel implements MouseListener,
29 boolean active = false;
37 public IdwidthAdjuster(AlignmentPanel ap)
41 java.net.URL url = getClass().getResource("/images/idwidth.gif");
44 image = java.awt.Toolkit.getDefaultToolkit().getImage(url);
47 addMouseListener(this);
48 addMouseMotionListener(this);
51 public void mousePressed(MouseEvent evt)
56 public void mouseReleased(MouseEvent evt)
62 public void mouseEntered(MouseEvent evt)
68 public void mouseExited(MouseEvent evt)
74 public void mouseDragged(MouseEvent evt)
77 Dimension d = ap.idPanel.idCanvas.getSize();
78 int dif = evt.getX() - oldX;
80 if (d.width + dif > 20 || dif > 0)
82 ap.setIdWidth(d.width + dif, d.height);
83 this.setSize(d.width + dif, getSize().height);
89 public void mouseMoved(MouseEvent evt)
93 public void mouseClicked(MouseEvent evt)
97 public void paint(Graphics g)
99 g.setColor(Color.white);
100 g.fillRect(0, 0, getSize().width, getSize().height);
105 g.drawImage(image, getSize().width - 20, 2, this);