X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=1c7d21588ee07d1a63cd594dae85da8f65e117a6;hb=ccc0d91abe38690088a6050faba8ef66cde1f271;hp=5599a6d0c4d44a531903b2678ed4cb73088304a6;hpb=588042b69abf8e60bcc950b24c283933c7dd422f;p=jalview.git diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java index 5599a6d..1c7d215 100755 --- a/src/jalview/gui/IdwidthAdjuster.java +++ b/src/jalview/gui/IdwidthAdjuster.java @@ -1,6 +1,6 @@ /* * Jalview - A Sequence Alignment Editor and Viewer - * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle + * Copyright (C) 2007 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -22,6 +22,12 @@ import java.awt.*; import java.awt.event.*; import javax.swing.*; +/** + * DOCUMENT ME! + * + * @author $author$ + * @version $Revision$ + */ public class IdwidthAdjuster extends JPanel implements MouseListener, MouseMotionListener @@ -31,6 +37,11 @@ public class IdwidthAdjuster Image image; AlignmentPanel ap; + /** + * Creates a new IdwidthAdjuster object. + * + * @param ap DOCUMENT ME! + */ public IdwidthAdjuster(AlignmentPanel ap) { this.ap = ap; @@ -46,29 +57,54 @@ public class IdwidthAdjuster addMouseMotionListener(this); } + /** + * DOCUMENT ME! + * + * @param evt DOCUMENT ME! + */ public void mousePressed(MouseEvent evt) { oldX = evt.getX(); } + /** + * DOCUMENT ME! + * + * @param evt DOCUMENT ME! + */ public void mouseReleased(MouseEvent evt) { active = false; repaint(); } + /** + * DOCUMENT ME! + * + * @param evt DOCUMENT ME! + */ public void mouseEntered(MouseEvent evt) { active = true; repaint(); } + /** + * DOCUMENT ME! + * + * @param evt DOCUMENT ME! + */ public void mouseExited(MouseEvent evt) { active = false; repaint(); } + /** + * DOCUMENT ME! + * + * @param evt DOCUMENT ME! + */ public void mouseDragged(MouseEvent evt) { active = true; @@ -80,20 +116,35 @@ public class IdwidthAdjuster { ap.idPanel.idCanvas.setPreferredSize(new Dimension(d.width + dif, d.height)); - ap.repaint(); + ap.paintAlignment(true); } oldX = evt.getX(); } + /** + * DOCUMENT ME! + * + * @param evt DOCUMENT ME! + */ public void mouseMoved(MouseEvent evt) { } + /** + * DOCUMENT ME! + * + * @param evt DOCUMENT ME! + */ public void mouseClicked(MouseEvent evt) { } + /** + * DOCUMENT ME! + * + * @param g DOCUMENT ME! + */ public void paintComponent(Graphics g) { g.setColor(Color.white);