3 import javax.swing.*;
\r
4 import java.awt.event.*;
\r
8 public class IdwidthAdjuster extends JPanel implements MouseListener, MouseMotionListener
\r
10 boolean active = false;
\r
15 public IdwidthAdjuster(AlignmentPanel ap)
\r
18 java.net.URL url = getClass().getResource("/images/idwidth.gif");
\r
20 image = java.awt.Toolkit.getDefaultToolkit().createImage(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.getPreferredSize();
\r
36 int dif = evt.getX() - oldX;
\r
38 if(d.width+dif>20 || dif>0)
\r
40 ap.idPanel.idCanvas.setPreferredSize(new Dimension(d.width + dif,d.height));
\r
47 public void mouseMoved(MouseEvent evt) {}
\r
48 public void mouseClicked(MouseEvent evt) {}
\r
50 public void paintComponent(Graphics g)
\r
52 g.setColor(Color.white);
\r
53 g.fillRect(0,0, getWidth(), getHeight());
\r
57 g.drawImage(image, getWidth()-20, 2, this);
\r