hide image with mouse released
authoramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 17:02:20 +0000 (17:02 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 17:02:20 +0000 (17:02 +0000)
src/jalview/gui/IdwidthAdjuster.java

index 5d8fa0d..19bd2f2 100755 (executable)
@@ -26,7 +26,7 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, MouseMotio
   public void mousePressed(MouseEvent evt)\r
   { oldX = evt.getX(); }\r
 \r
-  public void mouseReleased(MouseEvent evt){  }\r
+  public void mouseReleased(MouseEvent evt){ active = false; repaint(); }\r
   public void mouseEntered(MouseEvent evt) { active = true;  repaint();}\r
   public void mouseExited(MouseEvent evt)  { active = false; repaint();}\r
   public void mouseDragged(MouseEvent evt)\r