src/jalview/gui/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.gui;
  22
  23 import jalview.api.AlignViewportI;
  24
  25 import java.awt.Color;
  26 import java.awt.Cursor;
  27 import java.awt.Graphics;
  28 import java.awt.Image;
  29 import java.awt.event.MouseEvent;
  30 import java.awt.event.MouseListener;
  31 import java.awt.event.MouseMotionListener;
  32
  33 import javax.swing.JPanel;
  34
  35 /**
  36  * DOCUMENT ME!
  37  *
  38  * @author $author$
  39  * @version $Revision$
  40  */
  41 public class IdwidthAdjuster extends JPanel
  42         implements MouseListener, MouseMotionListener
  43 {
  44   boolean active = false;
  45
  46   int oldX = 0;
  47
  48   Image image;
  49
  50   AlignmentPanel ap;
  51
  52   /**
  53    * Creates a new IdwidthAdjuster object.
  54    *
  55    * @param ap
  56    *          DOCUMENT ME!
  57    */
  58   public IdwidthAdjuster(AlignmentPanel ap)
  59   {
  60     this.ap = ap;
  61
  62     java.net.URL url = getClass().getResource("/images/idwidth.gif");
  63
  64     if (url != null)
  65     {
  66       image = java.awt.Toolkit.getDefaultToolkit().createImage(url);
  67     }
  68
  69     addMouseListener(this);
  70     addMouseMotionListener(this);
  71   }
  72
  73   /**
  74    * DOCUMENT ME!
  75    *
  76    * @param evt
  77    *          DOCUMENT ME!
  78    */
  79   @Override
  80   public void mousePressed(MouseEvent evt)
  81   {
  82     oldX = evt.getX();
  83   }
  84
  85   /**
  86    * DOCUMENT ME!
  87    *
  88    * @param evt
  89    *          DOCUMENT ME!
  90    */
  91   @Override
  92   public void mouseReleased(MouseEvent evt)
  93   {
  94     active = false;
  95     repaint();
  96
  97     /*
  98      * If in a SplitFrame with co-scaled alignments, set the other's id width to
  99      * match
 100      */
 101     final AlignViewportI viewport = ap.getAlignViewport();
 102     if (viewport.getCodingComplement() != null
 103             && viewport.isScaleProteinAsCdna())
 104     {
 105       viewport.getCodingComplement().setIdWidth(viewport.getIdWidth());
 106       SplitFrame sf = (SplitFrame) ap.alignFrame.getSplitViewContainer();
 107       sf.repaint();
 108     }
 109
 110   }
 111
 112   /**
 113    * DOCUMENT ME!
 114    *
 115    * @param evt
 116    *          DOCUMENT ME!
 117    */
 118   @Override
 119   public void mouseEntered(MouseEvent evt)
 120   {
 121     active = true;
 122     repaint();
 123   }
 124
 125   /**
 126    * DOCUMENT ME!
 127    *
 128    * @param evt
 129    *          DOCUMENT ME!
 130    */
 131   @Override
 132   public void mouseExited(MouseEvent evt)
 133   {
 134     active = false;
 135     repaint();
 136   }
 137
 138   /**
 139    * DOCUMENT ME!
 140    *
 141    * @param evt
 142    *          DOCUMENT ME!
 143    */
 144   @Override
 145   public void mouseDragged(MouseEvent evt)
 146   {
 147     active = true;
 148
 149     final AlignViewportI viewport = ap.getAlignViewport();
 150     int curwidth = viewport.getIdWidth();
 151     int dif = evt.getX() - oldX;
 152
 153     final int newWidth = curwidth + dif;
 154     if ((newWidth > 20) || (dif > 0))
 155     {
 156       viewport.setIdWidth(newWidth);
 157
 158       ap.paintAlignment(true, false);
 159     }
 160
 161     oldX = evt.getX();
 162   }
 163
 164   /**
 165    * DOCUMENT ME!
 166    *
 167    * @param evt
 168    *          DOCUMENT ME!
 169    */
 170   @Override
 171   public void mouseMoved(MouseEvent evt)
 172   {
 173   }
 174
 175   /**
 176    * DOCUMENT ME!
 177    *
 178    * @param evt
 179    *          DOCUMENT ME!
 180    */
 181   @Override
 182   public void mouseClicked(MouseEvent evt)
 183   {
 184   }
 185
 186   /**
 187    * DOCUMENT ME!
 188    *
 189    * @param g
 190    *          DOCUMENT ME!
 191    */
 192   @Override
 193   public void paintComponent(Graphics g)
 194   {
 195     g.setColor(Color.white);
 196     g.fillRect(0, 0, getWidth(), getHeight());
 197
 198     if (active)
 199     {
 200       if (image != null)
 201       {
 202         // g.drawImage(image, getWidth() - 20, 2, this);
 203         setCursor(Cursor.getPredefinedCursor(Cursor.W_RESIZE_CURSOR));
 204       }
 205       else
 206       {
 207         setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
 208       }
 209     }
 210   }
 211 }