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