X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=c6d5d2a1e56282bc2e9cf9e97e250416bb48f5d4;hb=3ab70c7242fba39a5106deb39882648bacfc2ba6;hp=4bd49600bc0a1f6613c090a5f886fc427891d11f;hpb=74bdd7428aed598861d18281124c9143604a82de;p=jalview.git diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java index 4bd4960..c6d5d2a 100755 --- a/src/jalview/gui/IdwidthAdjuster.java +++ b/src/jalview/gui/IdwidthAdjuster.java @@ -1,61 +1,189 @@ -package jalview.gui; - -import javax.swing.*; -import java.awt.event.*; -import java.awt.*; - - -public class IdwidthAdjuster extends JPanel implements MouseListener, MouseMotionListener -{ - boolean active = false; - int oldX=0; - Image image; - AlignmentPanel ap ; - - 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); - } - - 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.getPreferredSize(); - int dif = evt.getX() - oldX; - - if(d.width+dif>20 || dif>0) - { - ap.idPanel.idCanvas.setPreferredSize(new Dimension(d.width + dif,d.height)); - ap.RefreshPanels(); - } - - oldX = evt.getX(); - } - - public void mouseMoved(MouseEvent evt) {} - public void mouseClicked(MouseEvent evt) {} - - 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); - } - } - -} +/* + * 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 . + * The Jalview Authors are detailed in the 'AUTHORS' file. + */ +package jalview.gui; + +import jalview.api.AlignViewportI; + +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; + +/** + * DOCUMENT ME! + * + * @author $author$ + * @version $Revision$ + */ +public class IdwidthAdjuster extends JPanel + implements MouseListener, MouseMotionListener +{ + boolean active = false; + + int oldX = 0; + + AlignmentPanel ap; + + /** + * Creates a new IdwidthAdjuster object. + * + * @param ap + * DOCUMENT ME! + */ + public IdwidthAdjuster(AlignmentPanel ap) + { + this.ap = ap; + + 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) + { + if (active) + { + setCursor(Cursor.getPredefinedCursor(Cursor.W_RESIZE_CURSOR)); + } + } +}