From 11d12c7440d4f3a9765ab792e9ad398244d6e16d Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 17 Mar 2005 17:02:20 +0000 Subject: [PATCH] hide image with mouse released --- src/jalview/gui/IdwidthAdjuster.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 1.7.10.2