X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=6872136aedf0603341978cc640703f29f86250fb;hb=2d235d86ceb55ebb6b9422b17a4603248e13998d;hp=19bd2f2b15f3d098bea03ad34d8db8e7c1b0fc1c;hpb=11d12c7440d4f3a9765ab792e9ad398244d6e16d;p=jalview.git

diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java
index 19bd2f2..6872136 100755
--- a/src/jalview/gui/IdwidthAdjuster.java
+++ b/src/jalview/gui/IdwidthAdjuster.java
@@ -35,10 +35,10 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, MouseMotio
     Dimension d = ap.idPanel.idCanvas.getPreferredSize();
     int dif = evt.getX() - oldX;
 
-    if(d.width>20 || dif>0)
+    if(d.width+dif>20 || dif>0)
     {
       ap.idPanel.idCanvas.setPreferredSize(new Dimension(d.width + dif,d.height));
-      ap.RefreshPanels();
+      ap.repaint();
     }
 
     oldX = evt.getX();