From 841c332be93270adcfec4c48310c0635513d11fd Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 13 Apr 2005 16:34:48 +0000
Subject: [PATCH] invalidate alignPanel before changing size

---
 src/jalview/gui/IdwidthAdjuster.java |    1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java
index 4bd4960..81e9da7 100755
--- a/src/jalview/gui/IdwidthAdjuster.java
+++ b/src/jalview/gui/IdwidthAdjuster.java
@@ -38,6 +38,7 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, MouseMotio
     if(d.width+dif>20 || dif>0)
     {
       ap.idPanel.idCanvas.setPreferredSize(new Dimension(d.width + dif,d.height));
+      ap.invalidate();
       ap.RefreshPanels();
     }
 
-- 
1.7.10.2