src/jalview/appletgui/IdwidthAdjuster.java

   1 /*
   2  * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2b1)
   3  * Copyright (C) 2014 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.*;
  24 import java.awt.event.*;
  25
  26 public class IdwidthAdjuster extends Panel implements MouseListener,
  27         MouseMotionListener
  28 {
  29   boolean active = false;
  30
  31   int oldX = 0;
  32
  33   Image image;
  34
  35   AlignmentPanel ap;
  36
  37   public IdwidthAdjuster(AlignmentPanel ap)
  38   {
  39     setLayout(null);
  40     this.ap = ap;
  41     java.net.URL url = getClass().getResource("/images/idwidth.gif");
  42     if (url != null)
  43     {
  44       image = java.awt.Toolkit.getDefaultToolkit().getImage(url);
  45     }
  46
  47     addMouseListener(this);
  48     addMouseMotionListener(this);
  49   }
  50
  51   public void mousePressed(MouseEvent evt)
  52   {
  53     oldX = evt.getX();
  54   }
  55
  56   public void mouseReleased(MouseEvent evt)
  57   {
  58     active = false;
  59     repaint();
  60   }
  61
  62   public void mouseEntered(MouseEvent evt)
  63   {
  64     active = true;
  65     repaint();
  66   }
  67
  68   public void mouseExited(MouseEvent evt)
  69   {
  70     active = false;
  71     repaint();
  72   }
  73
  74   public void mouseDragged(MouseEvent evt)
  75   {
  76     active = true;
  77     Dimension d = ap.idPanel.idCanvas.getSize();
  78     int dif = evt.getX() - oldX;
  79
  80     if (d.width + dif > 20 || dif > 0)
  81     {
  82       ap.setIdWidth(d.width + dif, d.height);
  83       this.setSize(d.width + dif, getSize().height);
  84       oldX = evt.getX();
  85     }
  86
  87   }
  88
  89   public void mouseMoved(MouseEvent evt)
  90   {
  91   }
  92
  93   public void mouseClicked(MouseEvent evt)
  94   {
  95   }
  96
  97   public void paint(Graphics g)
  98   {
  99     g.setColor(Color.white);
 100     g.fillRect(0, 0, getSize().width, getSize().height);
 101     if (active)
 102     {
 103       if (image != null)
 104       {
 105         g.drawImage(image, getSize().width - 20, 2, this);
 106       }
 107     }
 108   }
 109
 110 }