From f27f81a74bbe1be141d23df8aba578515e3179a2 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Wed, 22 Apr 2015 15:21:22 +0100 Subject: [PATCH 1/1] JAL-845 fix SplitFrame sizing on eXpand Views --- src/jalview/gui/Desktop.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index db5bbe5..5f45dc1 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -2981,9 +2981,13 @@ public class Desktop extends jalview.jbgui.GDesktop implements */ AlignmentPanel topPanel = (AlignmentPanel) topPanels.get(i); AlignFrame newTopFrame = new AlignFrame(topPanel); + newTopFrame.setSize(new Dimension(AlignFrame.DEFAULT_WIDTH, + AlignFrame.DEFAULT_HEIGHT)); newTopFrame.setVisible(true); AlignmentPanel bottomPanel = (AlignmentPanel) bottomPanels.get(i); AlignFrame newBottomFrame = new AlignFrame(bottomPanel); + newBottomFrame.setSize(new Dimension(AlignFrame.DEFAULT_WIDTH, + AlignFrame.DEFAULT_HEIGHT)); newBottomFrame.setVisible(true); topPanel.av.setGatherViewsHere(false); bottomPanel.av.setGatherViewsHere(false); -- 1.7.10.2