package jalview.appletgui; import java.awt.event.*; import java.awt.*; public class IdwidthAdjuster extends Panel implements MouseListener, MouseMotionListener { boolean active = false; int oldX=0; Image image; AlignmentPanel ap ; public IdwidthAdjuster(AlignmentPanel ap) { setLayout(null); this.ap = ap; java.net.URL url = getClass().getResource("/images/idwidth.gif"); if (url != null) image = java.awt.Toolkit.getDefaultToolkit().getImage(url); addMouseListener(this); addMouseMotionListener(this); } public void mousePressed(MouseEvent evt) { oldX = evt.getX(); } public void mouseReleased(MouseEvent evt){ active = false; repaint(); } public void mouseEntered(MouseEvent evt) { active = true; repaint();} public void mouseExited(MouseEvent evt) { active = false; repaint();} public void mouseDragged(MouseEvent evt) { active = true; Dimension d = ap.idPanel.idCanvas.getSize(); int dif = evt.getX() - oldX; if(d.width+dif>20 || dif>0) { ap.setIdWidth(d.width + dif,d.height); this.setSize(d.width + dif, getSize().height); } oldX = evt.getX(); } public void mouseMoved(MouseEvent evt) {} public void mouseClicked(MouseEvent evt) {} public void paint(Graphics g) { g.setColor(Color.white); g.fillRect(0,0, getSize().width, getSize().height); if(active) { if(image!=null) g.drawImage(image, getSize().width-20, 2, this); } } }