X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fjbgui%2FGSplitFrame.java;fp=src%2Fjalview%2Fjbgui%2FGSplitFrame.java;h=a377571e2997633aca20081cd45e24daeea66c3b;hb=657698cc9d7f3216a1c6db6902cea4911b8c24b2;hp=374972cdaf68daccab220eb61e74447ada987ad2;hpb=7ade73f743b71349ba3fe9196ffecf1238f91efa;p=jalview.git

diff --git a/src/jalview/jbgui/GSplitFrame.java b/src/jalview/jbgui/GSplitFrame.java
index 374972c..a377571 100644
--- a/src/jalview/jbgui/GSplitFrame.java
+++ b/src/jalview/jbgui/GSplitFrame.java
@@ -1,7 +1,5 @@
 package jalview.jbgui;
 
-import jalview.util.Platform;
-
 import java.awt.Component;
 import java.awt.MouseInfo;
 import java.awt.Point;
@@ -11,6 +9,8 @@ import javax.swing.JInternalFrame;
 import javax.swing.JSplitPane;
 import javax.swing.plaf.basic.BasicInternalFrameUI;
 
+import jalview.util.Platform;
+
 public class GSplitFrame extends JInternalFrame
 {
   private static final long serialVersionUID = 1L;
@@ -45,8 +45,10 @@ public class GSplitFrame extends JInternalFrame
     splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, topFrame,
             bottomFrame);
     splitPane.setVisible(true);
-    splitPane.setDividerLocation(0.5d);
-    splitPane.setResizeWeight(0.5d);
+    final double ratio = topFrame.getHeight()
+            / (double) (topFrame.getHeight() + bottomFrame.getHeight());
+    splitPane.setDividerLocation(ratio);
+    splitPane.setResizeWeight(ratio);
     splitPane.setDividerSize(5);
     add(splitPane);
   }
@@ -132,6 +134,7 @@ public class GSplitFrame extends JInternalFrame
     if (show)
     {
       // SplitPane needs nudging to restore 50-50 split
+      // TODO save/restore other ratios
       splitPane.setDividerLocation(0.5d);
     }
     validate();