import jalview.analysis.AlignmentUtils;
import jalview.datamodel.AlignmentI;
import jalview.gui.AlignFrame;
+import jalview.gui.Desktop;
import jalview.gui.SplitFrame;
import jalview.io.AppletFormatAdapter;
import jalview.io.DataSourceType;
/*
* convert to SplitFrame if a valid file2 is supplied
*/
+ int height = AlignFrame.DEFAULT_HEIGHT;
AlignFrame alignFrame2 = createAlignFrame(PARAM_FILE2);
if (alignFrame2 != null)
{
if (splitFrame != null)
{
internalFrame = splitFrame;
+ height *= 2;
}
}
// fudge so that dialogs can be opened with this frame as parent
// todo JAL-3031 also override Desktop.addInternalFrame etc
- // Desktop.parent = frame.getContentPane();
+ Desktop.parent = frame.getContentPane();
frame.pack();
- frame.setSize(AlignFrame.DEFAULT_WIDTH, AlignFrame.DEFAULT_HEIGHT);
+ frame.setSize(AlignFrame.DEFAULT_WIDTH, height);
frame.setVisible(true);
}