src/jalview/appletgui/IdwidthAdjuster.java

   1 /*
   2  * Jalview - A Sequence Alignment Editor and Viewer (Development Version 2.4.1)
   3  * Copyright (C) 2009 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
   4  *
   5  * This program is free software; you can redistribute it and/or
   6  * modify it under the terms of the GNU General Public License
   7  * as published by the Free Software Foundation; either version 2
   8  * of the License, or (at your option) any later version.
   9  *
  10  * This program is distributed in the hope that it will be useful,
  11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13  * GNU General Public License for more details.
  14  *
  15  * You should have received a copy of the GNU General Public License
  16  * along with this program; if not, write to the Free Software
  17  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA
  18  */
  19 package jalview.appletgui;
  20
  21 import java.awt.*;
  22 import java.awt.event.*;
  23
  24 public class IdwidthAdjuster extends Panel implements MouseListener,
  25         MouseMotionListener
  26 {
  27   boolean active = false;
  28
  29   int oldX = 0;
  30
  31   Image image;
  32
  33   AlignmentPanel ap;
  34
  35   public IdwidthAdjuster(AlignmentPanel ap)
  36   {
  37     setLayout(null);
  38     this.ap = ap;
  39     java.net.URL url = getClass().getResource("/images/idwidth.gif");
  40     if (url != null)
  41     {
  42       image = java.awt.Toolkit.getDefaultToolkit().getImage(url);
  43     }
  44
  45     addMouseListener(this);
  46     addMouseMotionListener(this);
  47   }
  48
  49   public void mousePressed(MouseEvent evt)
  50   {
  51     oldX = evt.getX();
  52   }
  53
  54   public void mouseReleased(MouseEvent evt)
  55   {
  56     active = false;
  57     repaint();
  58   }
  59
  60   public void mouseEntered(MouseEvent evt)
  61   {
  62     active = true;
  63     repaint();
  64   }
  65
  66   public void mouseExited(MouseEvent evt)
  67   {
  68     active = false;
  69     repaint();
  70   }
  71
  72   public void mouseDragged(MouseEvent evt)
  73   {
  74     active = true;
  75     Dimension d = ap.idPanel.idCanvas.getSize();
  76     int dif = evt.getX() - oldX;
  77
  78     if (d.width + dif > 20 || dif > 0)
  79     {
  80       ap.setIdWidth(d.width + dif, d.height);
  81       this.setSize(d.width + dif, getSize().height);
  82     }
  83
  84     oldX = evt.getX();
  85   }
  86
  87   public void mouseMoved(MouseEvent evt)
  88   {
  89   }
  90
  91   public void mouseClicked(MouseEvent evt)
  92   {
  93   }
  94
  95   public void paint(Graphics g)
  96   {
  97     g.setColor(Color.white);
  98     g.fillRect(0, 0, getSize().width, getSize().height);
  99     if (active)
 100     {
 101       if (image != null)
 102       {
 103         g.drawImage(image, getSize().width - 20, 2, this);
 104       }
 105     }
 106   }
 107
 108 }