-/*
- * 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.Color;
-import java.awt.Dimension;
-import java.awt.Graphics;
-import java.awt.Image;
-import java.awt.event.MouseEvent;
-import java.awt.event.MouseListener;
-import java.awt.event.MouseMotionListener;
-
-import javax.swing.JPanel;
-
-public class IdwidthAdjuster extends JPanel 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();
-
- /*
- * If in a SplitFrame with co-scaled alignments, set the other's id width to
- * match; note applet does not (yet) store this in ViewStyle
- */
- /*
- * Code disabled for now as it doesn't work, don't know why; idCanvas width
- * keeps resetting to a previous value (actually two alternating values!)
- */
- // final AlignViewportI viewport = ap.getAlignViewport();
- // if (viewport.getCodingComplement() != null
- // && viewport.isScaleProteinAsCdna())
- // {
- // Dimension d = ap.idPanel.idCanvas.getSize();
- // SplitFrame sf = ap.alignFrame.getSplitFrame();
- // final AlignmentPanel otherPanel =
- // sf.getComplement(ap.alignFrame).alignPanel;
- // otherPanel.setIdWidth(d.width, d.height);
- // otherPanel.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;
-
- final int newWidth = d.width + dif;
- if (newWidth > 20 || dif > 0)
- {
- ap.setIdWidth(newWidth, d.height);
- this.setSize(newWidth, 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);
- }
- }
- }
-
-}
+/*\r
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)\r
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors\r
+ * \r
+ * This file is part of Jalview.\r
+ * \r
+ * Jalview 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 3\r
+ * of the License, or (at your option) any later version.\r
+ * \r
+ * Jalview is distributed in the hope that it will be useful, but \r
+ * WITHOUT ANY WARRANTY; without even the implied warranty \r
+ * of MERCHANTABILITY or FITNESS FOR A PARTICULAR \r
+ * PURPOSE. See the GNU General Public License for more details.\r
+ * \r
+ * You should have received a copy of the GNU General Public License\r
+ * along with Jalview. If not, see <http://www.gnu.org/licenses/>.\r
+ * The Jalview Authors are detailed in the 'AUTHORS' file.\r
+ */\r
+package jalview.appletgui;\r
+\r
+import java.awt.Color;\r
+import java.awt.Dimension;\r
+import java.awt.Graphics;\r
+import java.awt.Image;\r
+import java.awt.event.MouseEvent;\r
+import java.awt.event.MouseListener;\r
+import java.awt.event.MouseMotionListener;\r
+\r
+import javax.swing.JPanel;\r
+\r
+public class IdwidthAdjuster extends JPanel implements MouseListener,\r
+ MouseMotionListener\r
+{\r
+ boolean active = false;\r
+\r
+ int oldX = 0;\r
+\r
+ Image image;\r
+\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
+ * If in a SplitFrame with co-scaled alignments, set the other's id width to\r
+ * match; note applet does not (yet) store this in ViewStyle\r
+ */\r
+ /*\r
+ * Code disabled for now as it doesn't work, don't know why; idCanvas width\r
+ * keeps resetting to a previous value (actually two alternating values!)\r
+ */\r
+ // final AlignViewportI viewport = ap.getAlignViewport();\r
+ // if (viewport.getCodingComplement() != null\r
+ // && viewport.isScaleProteinAsCdna())\r
+ // {\r
+ // Dimension d = ap.idPanel.idCanvas.getSize();\r
+ // SplitFrame sf = ap.alignFrame.getSplitFrame();\r
+ // final AlignmentPanel otherPanel =\r
+ // sf.getComplement(ap.alignFrame).alignPanel;\r
+ // otherPanel.setIdWidth(d.width, d.height);\r
+ // otherPanel.repaint();\r
+ // }\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
+ final int newWidth = d.width + dif;\r
+ if (newWidth > 20 || dif > 0)\r
+ {\r
+ ap.setIdWidth(newWidth, d.height);\r
+ this.setSize(newWidth, getSize().height);\r
+ oldX = evt.getX();\r
+ }\r
+ }\r
+\r
+ public void mouseMoved(MouseEvent evt)\r
+ {\r
+ }\r
+\r
+ public void mouseClicked(MouseEvent evt)\r
+ {\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