Merge branch 'develop' into JAL-1483_featureBasedTreeCalc
[jalview.git] / src / jalview / appletgui / AlignmentPanel.java
index 5ac12aa..a398e66 100644 (file)
@@ -565,7 +565,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener,
     fontChanged(); // This is so that the scalePanel is resized correctly
 
     validate();
-    sequenceHolderPanel.revalidate();
+    sequenceHolderPanel.validate();
     repaint();
 
   }