X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=6872136aedf0603341978cc640703f29f86250fb;hb=5a6113ce9fef6f59b895a40a69b55b120735c533;hp=5d8fa0d9555cb68667bd46842e826b9bf9c34e4f;hpb=b0a355457f5bff7fa7d16233311c1b8649f1e0a1;p=jalview.git

diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java
index 5d8fa0d..6872136 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)
@@ -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();