JAL-3030 size split frame taller
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 22 Jun 2018 13:49:17 +0000 (14:49 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 22 Jun 2018 13:49:17 +0000 (14:49 +0100)
src/jalview/bin/JalviewJS.java

index 2f8e61b..1d8ef62 100644 (file)
@@ -3,6 +3,7 @@ package jalview.bin;
 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;
@@ -187,6 +188,7 @@ public class JalviewJS
     /*
      * convert to SplitFrame if a valid file2 is supplied
      */
+    int height = AlignFrame.DEFAULT_HEIGHT;
     AlignFrame alignFrame2 = createAlignFrame(PARAM_FILE2);
     if (alignFrame2 != null)
     {
@@ -194,6 +196,7 @@ public class JalviewJS
       if (splitFrame != null)
       {
         internalFrame = splitFrame;
+        height *= 2;
       }
     }
 
@@ -206,10 +209,10 @@ public class JalviewJS
 
     // 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);
   }