2 * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3 * Copyright (C) $$Year-Rel$$ The Jalview Authors
5 * This file is part of Jalview.
7 * Jalview is free software: you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation, either version 3
10 * of the License, or (at your option) any later version.
12 * Jalview is distributed in the hope that it will be useful, but
13 * WITHOUT ANY WARRANTY; without even the implied warranty
14 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
15 * PURPOSE. See the GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with Jalview. If not, see <http://www.gnu.org/licenses/>.
19 * The Jalview Authors are detailed in the 'AUTHORS' file.
21 package jalview.jbgui;
23 import jalview.util.Platform;
25 import java.awt.Component;
26 import java.awt.MouseInfo;
27 import java.awt.Point;
28 import java.awt.Rectangle;
30 import javax.swing.JInternalFrame;
31 import javax.swing.JSplitPane;
32 import javax.swing.plaf.basic.BasicInternalFrameUI;
34 public class GSplitFrame extends JInternalFrame
36 protected static final int DIVIDER_SIZE = 5;
38 private static final long serialVersionUID = 1L;
40 private GAlignFrame topFrame;
42 private GAlignFrame bottomFrame;
44 private JSplitPane splitPane;
47 * proportional position of split divider; saving this allows it to be
48 * restored after hiding one half and resizing
50 private double dividerRatio;
58 public GSplitFrame(GAlignFrame top, GAlignFrame bottom)
61 this.bottomFrame = bottom;
69 * Create and add the split pane containing the top and bottom components.
71 protected void addSplitPane()
73 splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, topFrame,
75 splitPane.setVisible(true);
78 * set divider split at 50:50, or restore saved split if loading from
81 int topFrameHeight = topFrame.getHeight();
83 * TODO SplitFrame.setDividerLocation
88 splitPane.setDividerSize(DIVIDER_SIZE);
89 if (topFrameHeight == 0)
91 setRelativeDividerLocation(0.5d); // as a proportion
95 int dividerPosition = topFrameHeight + DIVIDER_SIZE / 2;
96 splitPane.setDividerLocation(dividerPosition); // absolute position
98 splitPane.setResizeWeight(0.5d);
104 * Try to hide the title bars as a waste of precious space.
107 * ://stackoverflow.com/questions/7218971/java-method-works-on-windows
108 * -but-not-macintosh -java
110 protected void hideTitleBars()
112 if (new Platform().isAMac())
114 // this saves some space - but doesn't hide the title bar
115 topFrame.putClientProperty("JInternalFrame.isPalette", true);
116 // topFrame.getRootPane().putClientProperty("Window.style", "small");
117 bottomFrame.putClientProperty("JInternalFrame.isPalette", true);
125 ((BasicInternalFrameUI) topFrame.getUI()).setNorthPane(null);
126 ((BasicInternalFrameUI) bottomFrame.getUI()).setNorthPane(null);
131 public GAlignFrame getTopFrame()
136 public GAlignFrame getBottomFrame()
142 * Returns the split pane component the mouse is in, or null if neither.
146 protected GAlignFrame getFrameAtMouse()
148 Point loc = MouseInfo.getPointerInfo().getLocation();
150 if (isIn(loc, splitPane.getTopComponent()))
152 return getTopFrame();
154 else if (isIn(loc, splitPane.getBottomComponent()))
156 return getBottomFrame();
161 private boolean isIn(Point loc, Component comp)
163 if (!comp.isVisible())
167 Point p = comp.getLocationOnScreen();
168 Rectangle r = new Rectangle(p.x, p.y, comp.getWidth(),
170 return r.contains(loc);
174 * Makes the complement of the specified split component visible or hidden,
175 * restoring or saving the position of the split divide.
177 public void setComplementVisible(Object alignFrame, boolean show)
180 * save divider ratio on hide, restore on show
184 setRelativeDividerLocation(dividerRatio);
188 this.dividerRatio = splitPane.getDividerLocation()
189 / (double) (splitPane.getHeight()
190 - splitPane.getDividerSize());
193 if (alignFrame == this.topFrame)
195 this.bottomFrame.setVisible(show);
197 else if (alignFrame == this.bottomFrame)
199 this.topFrame.setVisible(show);
206 * Set the divider location as a proportion (0 <= r <= 1) of the height <br>
207 * Warning: this overloads setDividerLocation(int), and getDividerLocation()
208 * returns the int (pixel count) value
212 public void setRelativeDividerLocation(double r)
214 this.dividerRatio = r;
219 splitPane.setDividerLocation(r);
224 * Sets the divider location (in pixels from top)
228 protected void setDividerLocation(int p)
234 splitPane.setDividerLocation(p);
239 * Returns the divider location (in pixels from top)
243 protected int getDividerLocation()
245 return splitPane.getDividerLocation();