Merge branch 'features/JAL-1333' into Release_2_8_2_Branch
[jalview.git] / src / jalview / appletgui / AlignmentPanel.java
index a677eff..02ad0cd 100644 (file)
@@ -559,7 +559,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener,
     fontChanged(); // This is so that the scalePanel is resized correctly
 
     validate();
-    sequenceHolderPanel.revalidate();
+    sequenceHolderPanel.validate();
     repaint();
 
   }