X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGSplitFrame.java;h=39b47ff2e0c72977075c8a7d600ff9233610cea0;hb=9876fdccf311378e690c1f9e18db52675d427b89;hp=a377571e2997633aca20081cd45e24daeea66c3b;hpb=be32c14cd8e48fe0a207cd7030cb9cd46f894678;p=jalview.git diff --git a/src/jalview/jbgui/GSplitFrame.java b/src/jalview/jbgui/GSplitFrame.java index a377571..39b47ff 100644 --- 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 . + * 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();