-/*\r
- * Jalview - A Sequence Alignment Editor and Viewer\r
- * Copyright (C) 2006 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
- *\r
- * This program is free software; you can redistribute it and/or\r
- * modify it under the terms of the GNU General Public License\r
- * as published by the Free Software Foundation; either version 2\r
- * of the License, or (at your option) any later version.\r
- *\r
- * This program is distributed in the hope that it will be useful,\r
- * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\r
- * GNU General Public License for more details.\r
- *\r
- * You should have received a copy of the GNU General Public License\r
- * along with this program; if not, write to the Free Software\r
- * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA\r
- */\r
-\r
-package jalview.appletgui;\r
-\r
-import java.awt.*;\r
-import java.awt.event.*;\r
-\r
-public class IdwidthAdjuster\r
- 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
- {\r
- image = java.awt.Toolkit.getDefaultToolkit().getImage(url);\r
- }\r
-\r
- addMouseListener(this);\r
- addMouseMotionListener(this);\r
- }\r
-\r
- public void mousePressed(MouseEvent evt)\r
- {\r
- oldX = evt.getX();\r
- }\r
-\r
- public void mouseReleased(MouseEvent evt)\r
- {\r
- active = false;\r
- repaint();\r
- }\r
-\r
- public void mouseEntered(MouseEvent evt)\r
- {\r
- active = true;\r
- repaint();\r
- }\r
-\r
- public void mouseExited(MouseEvent evt)\r
- {\r
- active = false;\r
- repaint();\r
- }\r
-\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
- {}\r
-\r
- public void mouseClicked(MouseEvent evt)\r
- {}\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
- {\r
- g.drawImage(image, getSize().width - 20, 2, this);\r
- }\r
- }\r
- }\r
-\r
-}\r
+/*
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
+ *
+ * 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/>.
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
+ */
+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);
+ }
+ }
+ }
+
+}