Merge branch 'develop' into Release_2_9_0b1_Branch

[jalview.git] / src / jalview / jbgui / GSplitFrame.java

diff --git a/src/jalview/jbgui/GSplitFrame.java b/src/jalview/jbgui/GSplitFrame.java
index a377571..39b47ff 100644 (file)
--- a/src/jalview/jbgui/GSplitFrame.java
+++ b/src/jalview/jbgui/GSplitFrame.java
@@ -1,5 +1,27 @@
+/*
+ * Jalview - A Sequence Alignment Editor and Viewer (Version 2.9)
+ * Copyright (C) 2015 The Jalview Authors
+ * 
+ * This file is part of Jalview.
+ * 
+ * Jalview is free software: you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License 
+ * as published by the Free Software Foundation, either version 3
+ * of the License, or (at your option) any later version.
+ *  
+ * Jalview is distributed in the hope that it will be useful, but 
+ * WITHOUT ANY WARRANTY; without even the implied warranty 
+ * of MERCHANTABILITY or FITNESS FOR A PARTICULAR 
+ * PURPOSE.  See the GNU General Public License for more details.
+ * 
+ * You should have received a copy of the GNU General Public License
+ * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
+ */
 package jalview.jbgui;
 
+import jalview.util.Platform;
+
 import java.awt.Component;
 import java.awt.MouseInfo;
 import java.awt.Point;
@@ -9,8 +31,6 @@ 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,7 +65,8 @@ public class GSplitFrame extends JInternalFrame
     splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, topFrame,
             bottomFrame);
     splitPane.setVisible(true);
-    final double ratio = topFrame.getHeight()
+    final double ratio = bottomFrame.getHeight() == 0 ? 0.5d : topFrame
+            .getHeight()
             / (double) (topFrame.getHeight() + bottomFrame.getHeight());
     splitPane.setDividerLocation(ratio);
     splitPane.setResizeWeight(ratio);
@@ -94,7 +115,7 @@ public class GSplitFrame extends JInternalFrame
   protected GAlignFrame getFrameAtMouse()
   {
     Point loc = MouseInfo.getPointerInfo().getLocation();
-    
+
     if (isIn(loc, splitPane.getTopComponent()))
     {
       return getTopFrame();