From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 13 Apr 2005 16:34:48 +0000 (+0000)
Subject: invalidate alignPanel before changing size
X-Git-Tag: Release_2_0~435
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=841c332be93270adcfec4c48310c0635513d11fd;p=jalview.git

invalidate alignPanel before changing size
---

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();
     }