From 4729e0d54d881dd53433a7bb85ce486f9ac37265 Mon Sep 17 00:00:00 2001 From: jprocter Date: Wed, 29 Jun 2011 17:52:22 +0100 Subject: [PATCH] preliminary patch to reduce problem observed in JAL-546 --- src/jalview/appletgui/IdwidthAdjuster.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jalview/appletgui/IdwidthAdjuster.java b/src/jalview/appletgui/IdwidthAdjuster.java index a6bbdd3..77c0ca8 100755 --- a/src/jalview/appletgui/IdwidthAdjuster.java +++ b/src/jalview/appletgui/IdwidthAdjuster.java @@ -78,9 +78,9 @@ public class IdwidthAdjuster extends Panel implements MouseListener, { ap.setIdWidth(d.width + dif, d.height); this.setSize(d.width + dif, getSize().height); + oldX = evt.getX(); } - oldX = evt.getX(); } public void mouseMoved(MouseEvent evt) -- 1.7.10.2