JAL-845 adjust both sides of split frame when changing fonts etc
[jalview.git] / src / jalview / gui / AlignmentPanel.java
index 8998f09..0566ee0 100644 (file)
@@ -185,6 +185,10 @@ public class AlignmentPanel extends GAlignmentPanel implements
     {
       overviewPanel.setBoxPosition();
     }
+    if (this.alignFrame.getSplitViewContainer() != null)
+    {
+      ((SplitFrame) this.alignFrame.getSplitViewContainer()).adjustLayout();
+    }
 
     repaint();
   }