-package jalview.appletgui;\r
-\r
-import java.awt.event.*;\r
-import java.awt.*;\r
-\r
-\r
-public class IdwidthAdjuster extends Panel implements MouseListener, MouseMotionListener\r
-{\r
- boolean active = false;\r
- int oldX=0;\r
- Image image;\r
- AlignmentPanel ap ;\r
-\r
- public IdwidthAdjuster(AlignmentPanel ap)\r
- {\r
- setLayout(null);\r
- this.ap = ap;\r
- java.net.URL url = getClass().getResource("/images/idwidth.gif");\r
- if (url != null)\r
- image = java.awt.Toolkit.getDefaultToolkit().getImage(url);\r
-\r
- addMouseListener(this);\r
- addMouseMotionListener(this);\r
- }\r
-\r
- public void mousePressed(MouseEvent evt)\r
- { oldX = evt.getX(); }\r
-\r
- public void mouseReleased(MouseEvent evt){ active = false; repaint(); }\r
- public void mouseEntered(MouseEvent evt) { active = true; repaint();}\r
- public void mouseExited(MouseEvent evt) { active = false; repaint();}\r
- public void mouseDragged(MouseEvent evt)\r
- {\r
- active = true;\r
- Dimension d = ap.idPanel.idCanvas.getSize();\r
- int dif = evt.getX() - oldX;\r
-\r
- if(d.width+dif>20 || dif>0)\r
- {\r
- ap.setIdWidth(d.width + dif,d.height);\r
- this.setSize(d.width + dif, getSize().height);\r
- }\r
-\r
- oldX = evt.getX();\r
- }\r
-\r
- public void mouseMoved(MouseEvent evt) {}\r
- public void mouseClicked(MouseEvent evt) {}\r
-\r
- public void paint(Graphics g)\r
- {\r
- g.setColor(Color.white);\r
- g.fillRect(0,0, getSize().width, getSize().height);\r
- if(active)\r
- {\r
- if(image!=null)\r
- g.drawImage(image, getSize().width-20, 2, this);\r
- }\r
- }\r
-\r
-}\r
+/*
+ * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8)
+ * Copyright (C) 2012 J Procter, AM Waterhouse, LM Lui, J Engelhardt, G Barton, M Clamp, S Searle
+ *
+ * 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.
+ *
+ * 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 <http://www.gnu.org/licenses/>.
+ */
+package jalview.appletgui;
+
+import java.awt.*;
+import java.awt.event.*;
+
+public class IdwidthAdjuster extends Panel implements MouseListener,
+ MouseMotionListener
+{
+ boolean active = false;
+
+ int oldX = 0;
+
+ Image image;
+
+ AlignmentPanel ap;
+
+ public IdwidthAdjuster(AlignmentPanel ap)
+ {
+ setLayout(null);
+ this.ap = ap;
+ java.net.URL url = getClass().getResource("/images/idwidth.gif");
+ if (url != null)
+ {
+ image = java.awt.Toolkit.getDefaultToolkit().getImage(url);
+ }
+
+ addMouseListener(this);
+ addMouseMotionListener(this);
+ }
+
+ public void mousePressed(MouseEvent evt)
+ {
+ oldX = evt.getX();
+ }
+
+ public void mouseReleased(MouseEvent evt)
+ {
+ active = false;
+ repaint();
+ }
+
+ public void mouseEntered(MouseEvent evt)
+ {
+ active = true;
+ repaint();
+ }
+
+ public void mouseExited(MouseEvent evt)
+ {
+ active = false;
+ repaint();
+ }
+
+ public void mouseDragged(MouseEvent evt)
+ {
+ active = true;
+ Dimension d = ap.idPanel.idCanvas.getSize();
+ int dif = evt.getX() - oldX;
+
+ if (d.width + dif > 20 || dif > 0)
+ {
+ ap.setIdWidth(d.width + dif, d.height);
+ this.setSize(d.width + dif, getSize().height);
+ oldX = evt.getX();
+ }
+
+ }
+
+ public void mouseMoved(MouseEvent evt)
+ {
+ }
+
+ public void mouseClicked(MouseEvent evt)
+ {
+ }
+
+ public void paint(Graphics g)
+ {
+ g.setColor(Color.white);
+ g.fillRect(0, 0, getSize().width, getSize().height);
+ if (active)
+ {
+ if (image != null)
+ {
+ g.drawImage(image, getSize().width - 20, 2, this);
+ }
+ }
+ }
+
+}