1 package jalview.appletgui;
\r
3 import java.awt.event.*;
\r
7 public class IdwidthAdjuster extends Panel implements MouseListener, MouseMotionListener
\r
9 boolean active = false;
\r
14 public IdwidthAdjuster(AlignmentPanel ap)
\r
18 java.net.URL url = getClass().getResource("/images/idwidth.gif");
\r
20 image = java.awt.Toolkit.getDefaultToolkit().getImage(url);
\r
22 addMouseListener(this);
\r
23 addMouseMotionListener(this);
\r
26 public void mousePressed(MouseEvent evt)
\r
27 { oldX = evt.getX(); }
\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
35 Dimension d = ap.idPanel.idCanvas.getSize();
\r
36 int dif = evt.getX() - oldX;
\r
38 if(d.width+dif>20 || dif>0)
\r
40 ap.setIdWidth(d.width + dif,d.height);
\r
41 this.setSize(d.width + dif, getSize().height);
\r
47 public void mouseMoved(MouseEvent evt) {}
\r
48 public void mouseClicked(MouseEvent evt) {}
\r
50 public void paint(Graphics g)
\r
52 g.setColor(Color.white);
\r
53 g.fillRect(0,0, getSize().width, getSize().height);
\r
57 g.drawImage(image, getSize().width-20, 2, this);
\r