src/jalview/appletgui/IdwidthAdjuster.java

   1 /*
   2  * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
   3  * Copyright (C) $$Year-Rel$$ The Jalview Authors
   4  *
   5  * This file is part of Jalview.
   6  *
   7  * Jalview is free software: you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License
   9  * as published by the Free Software Foundation, either version 3
  10  * of the License, or (at your option) any later version.
  11  *
  12  * Jalview is distributed in the hope that it will be useful, but
  13  * WITHOUT ANY WARRANTY; without even the implied warranty
  14  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
  15  * PURPOSE.  See the GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
  19  * The Jalview Authors are detailed in the 'AUTHORS' file.
  20  */
  21 package jalview.appletgui;
  22
  23 import java.awt.Cursor;
  24 import java.awt.Dimension;
  25 import java.awt.Image;
  26 import java.awt.Panel;
  27 import java.awt.event.MouseEvent;
  28 import java.awt.event.MouseListener;
  29 import java.awt.event.MouseMotionListener;
  30
  31 public class IdwidthAdjuster extends Panel
  32         implements MouseListener, MouseMotionListener
  33 {
  34   boolean active = false;
  35
  36   int oldX = 0;
  37
  38   Image image;
  39
  40   AlignmentPanel ap;
  41
  42   public IdwidthAdjuster(AlignmentPanel ap)
  43   {
  44     setLayout(null);
  45     this.ap = ap;
  46     java.net.URL url = getClass().getResource("/images/idwidth.gif");
  47     if (url != null)
  48     {
  49       image = java.awt.Toolkit.getDefaultToolkit().getImage(url);
  50     }
  51
  52     addMouseListener(this);
  53     addMouseMotionListener(this);
  54   }
  55
  56   @Override
  57   public void mousePressed(MouseEvent evt)
  58   {
  59     oldX = evt.getX();
  60   }
  61
  62   @Override
  63   public void mouseReleased(MouseEvent evt)
  64   {
  65     active = false;
  66     repaint();
  67
  68     /*
  69      * If in a SplitFrame with co-scaled alignments, set the other's id width to
  70      * match; note applet does not (yet) store this in ViewStyle
  71      */
  72     /*
  73      * Code disabled for now as it doesn't work, don't know why; idCanvas width
  74      * keeps resetting to a previous value (actually two alternating values!)
  75      */
  76     // final AlignViewportI viewport = ap.getAlignViewport();
  77     // if (viewport.getCodingComplement() != null
  78     // && viewport.isScaleProteinAsCdna())
  79     // {
  80     // Dimension d = ap.idPanel.idCanvas.getSize();
  81     // SplitFrame sf = ap.alignFrame.getSplitFrame();
  82     // final AlignmentPanel otherPanel =
  83     // sf.getComplement(ap.alignFrame).alignPanel;
  84     // otherPanel.setIdWidth(d.width, d.height);
  85     // otherPanel.repaint();
  86     // }
  87   }
  88
  89   @Override
  90   public void mouseEntered(MouseEvent evt)
  91   {
  92     active = true;
  93     setCursor(Cursor.getPredefinedCursor(Cursor.W_RESIZE_CURSOR));
  94
  95     repaint();
  96   }
  97
  98   @Override
  99   public void mouseExited(MouseEvent evt)
 100   {
 101     active = false;
 102     setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
 103     repaint();
 104   }
 105
 106   @Override
 107   public void mouseDragged(MouseEvent evt)
 108   {
 109     active = true;
 110     Dimension d = ap.idPanel.idCanvas.getSize();
 111     int dif = evt.getX() - oldX;
 112
 113     final int newWidth = d.width + dif;
 114     if (newWidth > 20 || dif > 0)
 115     {
 116       ap.setIdWidth(newWidth, d.height);
 117       this.setSize(newWidth, getSize().height);
 118       oldX = evt.getX();
 119     }
 120   }
 121
 122   @Override
 123   public void mouseMoved(MouseEvent evt)
 124   {
 125   }
 126
 127   @Override
 128   public void mouseClicked(MouseEvent evt)
 129   {
 130   }
 131 }