From 0ac5466c66372edea54eda8084c5c65d142bba9f Mon Sep 17 00:00:00 2001
From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Fri, 22 Jun 2018 14:49:17 +0100
Subject: [PATCH] JAL-3030 size split frame taller

---
 src/jalview/bin/JalviewJS.java |    7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/jalview/bin/JalviewJS.java b/src/jalview/bin/JalviewJS.java
index 2f8e61b..1d8ef62 100644
--- a/src/jalview/bin/JalviewJS.java
+++ b/src/jalview/bin/JalviewJS.java
@@ -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);
   }
 
-- 
1.7.10.2