invalidate alignPanel before changing size
authoramwaterhouse <Andrew Waterhouse>
Wed, 13 Apr 2005 16:34:48 +0000 (16:34 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 13 Apr 2005 16:34:48 +0000 (16:34 +0000)
src/jalview/gui/IdwidthAdjuster.java

index 4bd4960..81e9da7 100755 (executable)
@@ -38,6 +38,7 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, MouseMotio
     if(d.width+dif>20 || dif>0)\r
     {\r
       ap.idPanel.idCanvas.setPreferredSize(new Dimension(d.width + dif,d.height));\r
+      ap.invalidate();\r
       ap.RefreshPanels();\r
     }\r
 \r