src/jalview/appletgui/IdwidthAdjuster.java

   1 package jalview.appletgui;\r
   2 \r
   3 import java.awt.event.*;\r
   4 import java.awt.*;\r
   5 \r
   6 \r
   7 public class IdwidthAdjuster extends Panel implements MouseListener, MouseMotionListener\r
   8 {\r
   9   boolean active = false;\r
  10   int oldX=0;\r
  11   Image image;\r
  12   AlignmentPanel ap ;\r
  13 \r
  14   public IdwidthAdjuster(AlignmentPanel ap)\r
  15   {\r
  16     setLayout(null);\r
  17     this.ap = ap;\r
  18     java.net.URL url = getClass().getResource("/images/idwidth.gif");\r
  19        if (url != null)\r
  20          image = java.awt.Toolkit.getDefaultToolkit().getImage(url);\r
  21 \r
  22     addMouseListener(this);\r
  23     addMouseMotionListener(this);\r
  24   }\r
  25 \r
  26   public void mousePressed(MouseEvent evt)\r
  27   { oldX = evt.getX(); }\r
  28 \r
  29   public void mouseReleased(MouseEvent evt){ active = false; repaint(); }\r
  30   public void mouseEntered(MouseEvent evt) { active = true;  repaint();}\r
  31   public void mouseExited(MouseEvent evt)  { active = false; repaint();}\r
  32   public void mouseDragged(MouseEvent evt)\r
  33   {\r
  34     active = true;\r
  35     Dimension d = ap.idPanel.idCanvas.getSize();\r
  36     int dif = evt.getX() - oldX;\r
  37 \r
  38     if(d.width+dif>20 || dif>0)\r
  39     {\r
  40       ap.setIdWidth(d.width + dif,d.height);\r
  41       this.setSize(d.width + dif, getSize().height);\r
  42     }\r
  43 \r
  44     oldX = evt.getX();\r
  45   }\r
  46 \r
  47   public void mouseMoved(MouseEvent evt)   {}\r
  48   public void mouseClicked(MouseEvent evt) {}\r
  49 \r
  50   public void paint(Graphics g)\r
  51   {\r
  52     g.setColor(Color.white);\r
  53     g.fillRect(0,0, getSize().width, getSize().height);\r
  54     if(active)\r
  55     {\r
  56       if(image!=null)\r
  57         g.drawImage(image, getSize().width-20, 2, this);\r
  58     }\r
  59   }\r
  60 \r
  61 }\r