-package jalview.gui;\r
-\r
-import javax.swing.*;\r
-import java.awt.event.*;\r
-import java.awt.*;\r
-\r
-\r
-public class IdwidthAdjuster extends JPanel 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
- this.ap = ap;\r
- java.net.URL url = getClass().getResource("/images/idwidth.gif");\r
- if (url != null)\r
- image = java.awt.Toolkit.getDefaultToolkit().createImage(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){ }\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.getPreferredSize();\r
- int dif = evt.getX() - oldX;\r
-\r
- if(d.width>20 || dif>0)\r
- {\r
- ap.idPanel.idCanvas.setPreferredSize(new Dimension(d.width + dif,d.height));\r
- ap.RefreshPanels();\r
- }\r
-\r
- oldX = evt.getX();\r
- }\r
-\r
- public void mouseMoved(MouseEvent evt) {}\r
- public void mouseClicked(MouseEvent evt) {}\r
-\r
- public void paintComponent(Graphics g)\r
- {\r
- g.setColor(Color.white);\r
- g.fillRect(0,0, getWidth(), getHeight());\r
- if(active)\r
- {\r
- if(image!=null)\r
- g.drawImage(image, getWidth()-20, 2, this);\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.gui;
+
+import jalview.api.AlignViewportI;
+
+import java.awt.Color;
+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;
+
+/**
+ * DOCUMENT ME!
+ *
+ * @author $author$
+ * @version $Revision$
+ */
+public class IdwidthAdjuster extends JPanel
+ implements MouseListener, MouseMotionListener
+{
+ boolean active = false;
+
+ int oldX = 0;
+
+ Image image;
+
+ AlignmentPanel ap;
+
+ /**
+ * Creates a new IdwidthAdjuster object.
+ *
+ * @param ap
+ * DOCUMENT ME!
+ */
+ public IdwidthAdjuster(AlignmentPanel ap)
+ {
+ this.ap = ap;
+
+ java.net.URL url = getClass().getResource("/images/idwidth.gif");
+
+ if (url != null)
+ {
+ image = java.awt.Toolkit.getDefaultToolkit().createImage(url);
+ }
+
+ addMouseListener(this);
+ addMouseMotionListener(this);
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param evt
+ * DOCUMENT ME!
+ */
+ @Override
+ public void mousePressed(MouseEvent evt)
+ {
+ oldX = evt.getX();
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param evt
+ * DOCUMENT ME!
+ */
+ @Override
+ public void mouseReleased(MouseEvent evt)
+ {
+ active = false;
+ repaint();
+
+ /*
+ * If in a SplitFrame with co-scaled alignments, set the other's id width to
+ * match
+ */
+ final AlignViewportI viewport = ap.getAlignViewport();
+ if (viewport.getCodingComplement() != null
+ && viewport.isScaleProteinAsCdna())
+ {
+ viewport.getCodingComplement().setIdWidth(viewport.getIdWidth());
+ SplitFrame sf = (SplitFrame) ap.alignFrame.getSplitViewContainer();
+ sf.repaint();
+ }
+
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param evt
+ * DOCUMENT ME!
+ */
+ @Override
+ public void mouseEntered(MouseEvent evt)
+ {
+ active = true;
+ repaint();
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param evt
+ * DOCUMENT ME!
+ */
+ @Override
+ public void mouseExited(MouseEvent evt)
+ {
+ active = false;
+ repaint();
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param evt
+ * DOCUMENT ME!
+ */
+ @Override
+ public void mouseDragged(MouseEvent evt)
+ {
+ active = true;
+
+ final AlignViewportI viewport = ap.getAlignViewport();
+ int curwidth = viewport.getIdWidth();
+ int dif = evt.getX() - oldX;
+
+ final int newWidth = curwidth + dif;
+ if ((newWidth > 20) || (dif > 0))
+ {
+ viewport.setIdWidth(newWidth);
+
+ ap.paintAlignment(true, false);
+ }
+
+ oldX = evt.getX();
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param evt
+ * DOCUMENT ME!
+ */
+ @Override
+ public void mouseMoved(MouseEvent evt)
+ {
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param evt
+ * DOCUMENT ME!
+ */
+ @Override
+ public void mouseClicked(MouseEvent evt)
+ {
+ }
+
+ /**
+ * DOCUMENT ME!
+ *
+ * @param g
+ * DOCUMENT ME!
+ */
+ @Override
+ public void paintComponent(Graphics g)
+ {
+ g.setColor(Color.white);
+ g.fillRect(0, 0, getWidth(), getHeight());
+
+ if (active)
+ {
+ if (image != null)
+ {
+ g.drawImage(image, getWidth() - 20, 2, this);
+ }
+ }
+ }
+}