From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 17 Mar 2005 17:02:20 +0000 (+0000)
Subject: hide image with mouse released
X-Git-Tag: Release_2_0~570
X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=11d12c7440d4f3a9765ab792e9ad398244d6e16d

hide image with mouse released
---

diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java
index 5d8fa0d..19bd2f2 100755
--- a/src/jalview/gui/IdwidthAdjuster.java
+++ b/src/jalview/gui/IdwidthAdjuster.java
@@ -26,7 +26,7 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, MouseMotio
   public void mousePressed(MouseEvent evt)
   { oldX = evt.getX(); }
 
-  public void mouseReleased(MouseEvent evt){  }
+  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)