-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){ 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.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 java.awt.Color;
+import java.awt.Cursor;
+import java.awt.Graphics;
+import java.awt.event.MouseEvent;
+import java.awt.event.MouseListener;
+import java.awt.event.MouseMotionListener;
+
+import javax.swing.JPanel;
+
+import jalview.api.AlignViewportI;
+import jalview.bin.Cache;
+
+/**
+ * DOCUMENT ME!
+ *
+ * @author $author$
+ * @version $Revision$
+ */
+public class IdwidthAdjuster extends JPanel
+ implements MouseListener, MouseMotionListener
+{
+ public static final int MIN_ID_WIDTH = 20;
+
+ int oldX = 0;
+
+ AlignmentPanel ap;
+
+ /**
+ * Creates a new IdwidthAdjuster object.
+ *
+ * @param ap
+ * DOCUMENT ME!
+ */
+ public IdwidthAdjuster(AlignmentPanel ap)
+ {
+ this.ap = ap;
+ setBackground(Color.white);
+ addMouseListener(this);
+ addMouseMotionListener(this);
+ }
+
+ /**
+ * Action on mouse pressed is to save the start position for any drag
+ *
+ * @param evt
+ */
+ @Override
+ public void mousePressed(MouseEvent evt)
+ {
+ oldX = evt.getX();
+ }
+
+ /**
+ * On release of mouse drag to resize the width, if there is a complementary
+ * alignment in a split frame, sets the complement to the same id width and
+ * repaints the split frame. Note this is done whether or not the protein
+ * characters are scaled to codon width.
+ *
+ * @param evt
+ */
+ @Override
+ public void mouseReleased(MouseEvent evt)
+ {
+ repaint();
+
+ /*
+ * If in a SplitFrame, set the other's id width to match
+ */
+ final AlignViewportI viewport = ap.getAlignViewport();
+ if (viewport.getCodingComplement() != null)
+ {
+ viewport.getCodingComplement().setIdWidth(viewport.getIdWidth());
+ SplitFrame sf = (SplitFrame) ap.alignFrame.getSplitViewContainer();
+ sf.repaint();
+ }
+ }
+
+ /**
+ * When this region is entered, repaints to show a left-right move cursor
+ *
+ * @param evt
+ */
+ @Override
+ public void mouseEntered(MouseEvent evt)
+ {
+ repaint();
+ }
+
+ @Override
+ public void mouseExited(MouseEvent evt)
+ {
+ }
+
+ /**
+ * Adjusts the id panel width for a mouse drag left or right (subject to a
+ * minimum of 20 pixels) and repaints the alignment
+ *
+ * @param evt
+ */
+ @Override
+ public void mouseDragged(MouseEvent evt)
+ {
+ int mouseX = evt.getX();
+ final AlignViewportI viewport = ap.getAlignViewport();
+ int curwidth = viewport.getIdWidth();
+ int dif = mouseX - oldX;
+
+ final int newWidth = curwidth + dif;
+
+ /*
+ * don't drag below minimum width
+ */
+ if (newWidth < MIN_ID_WIDTH)
+ {
+ return;
+ }
+
+ /*
+ * don't allow residue width to be < 1 in wrapped format
+ */
+ if (viewport.getWrapAlignment())
+ {
+ SeqCanvas sc = ap.getSeqPanel().seqCanvas;
+ if (sc != null && sc.getWrappedCanvasWidth(sc.getWidth() - dif) < 1)
+ {
+ return;
+ }
+ }
+
+ oldX = evt.getX();
+
+ /*
+ * don't drag right if mouse is to the left of the region
+ */
+ if (dif > 0 && mouseX < 0)
+ {
+ return;
+ }
+
+ // TODO JAL-4260 - work out how to trigger recomputation of wrapped pages !
+ int curCol = viewport.getRanges().getStartRes()
+ + viewport.getRanges().getViewportWidth();
+
+ viewport.setIdWidth(newWidth);
+
+ ap.validateAnnotationDimensions(false);
+ if (viewport.getWrapAlignment())
+ {
+ viewport.getRanges().scrollToWrappedVisible(
+ curCol - viewport.getRanges().getViewportWidth());
+ }
+ ap.paintAlignment(true, false);
+
+ ap.getIdPanel().getIdCanvas().setManuallyAdjusted(true);
+ }
+
+ public void setWidth(int newWidth)
+ {
+ if (newWidth < MIN_ID_WIDTH
+ || ap.getIdPanel().getIdCanvas().isManuallyAdjusted())
+ {
+ return;
+ }
+ final AlignViewportI viewport = ap.getAlignViewport();
+ viewport.setIdWidth(newWidth);
+ ap.paintAlignment(true, false);
+ }
+
+ public boolean manuallyAdjusted()
+ {
+ return ap.getIdPanel().getIdCanvas().isManuallyAdjusted();
+ }
+
+ @Override
+ public void mouseMoved(MouseEvent evt)
+ {
+ }
+
+ @Override
+ public void mouseClicked(MouseEvent evt)
+ {
+ }
+
+ /**
+ * Paints this region, showing a left-right move cursor if currently 'active'
+ *
+ * @param g
+ */
+ @Override
+ public void paintComponent(Graphics g)
+ {
+ int width = getWidth();
+ int height = getHeight();
+ g.setColor(Color.white);
+ g.fillRect(0, 0, width, height);
+
+ if (!Cache.getDefault(AnnotationLabels.RESIZE_MARGINS_MARK_PREF, false))
+ // && !ap.getAlignViewport().getWrapAlignment()) // now allowing adjustment
+ // in wrap mode
+ {
+ int spacer = Math.max(2, AnnotationLabels.HEIGHT_ADJUSTER_HEIGHT / 4);
+ g.setColor(Color.LIGHT_GRAY);
+ g.drawLine(width - 3 * spacer, 0, width - 3 * spacer, height / 2);
+ g.drawLine(width - spacer, 0, width - spacer, height / 2);
+ }
+
+ setCursor(Cursor.getPredefinedCursor(Cursor.W_RESIZE_CURSOR));
+ }
+}