2 * Jexer - Java Text User Interface
4 * The MIT License (MIT)
6 * Copyright (C) 2019 Kevin Lamonte
8 * Permission is hereby granted, free of charge, to any person obtaining a
9 * copy of this software and associated documentation files (the "Software"),
10 * to deal in the Software without restriction, including without limitation
11 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
12 * and/or sell copies of the Software, and to permit persons to whom the
13 * Software is furnished to do so, subject to the following conditions:
15 * The above copyright notice and this permission notice shall be included in
16 * all copies or substantial portions of the Software.
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
19 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
20 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
21 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
22 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
23 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
24 * DEALINGS IN THE SOFTWARE.
26 * @author Kevin Lamonte [kevin.lamonte@gmail.com]
31 import jexer
.bits
.CellAttributes
;
32 import jexer
.bits
.GraphicsChars
;
33 import jexer
.event
.TMenuEvent
;
34 import jexer
.event
.TMouseEvent
;
35 import jexer
.event
.TResizeEvent
;
36 import jexer
.menu
.TMenu
;
39 * TSplitPane contains two widgets with a draggable horizontal or vertical
42 public class TSplitPane
extends TWidget
{
44 // ------------------------------------------------------------------------
45 // Variables --------------------------------------------------------------
46 // ------------------------------------------------------------------------
49 * If true, split vertically. If false, split horizontally.
51 private boolean vertical
= true;
54 * The location of the split bar, either as a column number for vertical
55 * split or a row number for horizontal split.
57 private int split
= 0;
60 * The widget on the left side.
65 * The widget on the right side.
67 private TWidget right
;
70 * The widget on the top side.
75 * The widget on the bottom side.
77 private TWidget bottom
;
80 * If true, we are in the middle of a split move.
82 private boolean inSplitMove
= false;
85 * The last seen mouse position.
87 private TMouseEvent mouse
;
89 // ------------------------------------------------------------------------
90 // Constructors -----------------------------------------------------------
91 // ------------------------------------------------------------------------
96 * @param parent parent widget
97 * @param x column relative to parent
98 * @param y row relative to parent
99 * @param width width of widget
100 * @param height height of widget
101 * @param vertical if true, split vertically
103 public TSplitPane(final TWidget parent
, final int x
, final int y
,
104 final int width
, final int height
, final boolean vertical
) {
106 super(parent
, x
, y
, width
, height
);
108 this.vertical
= vertical
;
112 // ------------------------------------------------------------------------
113 // Event handlers ---------------------------------------------------------
114 // ------------------------------------------------------------------------
117 * Handle window/screen resize events.
119 * @param event resize event
122 public void onResize(final TResizeEvent event
) {
123 if (event
.getType() == TResizeEvent
.Type
.WIDGET
) {
125 super.onResize(event
);
127 if (vertical
&& (split
>= getWidth() - 2)) {
129 } else if (!vertical
&& (split
>= getHeight() - 2)) {
138 * Handle mouse button presses.
140 * @param mouse mouse button event
143 public void onMouseDown(final TMouseEvent mouse
) {
148 if (mouse
.isMouse1()) {
150 inSplitMove
= (mouse
.getX() == split
);
152 inSplitMove
= (mouse
.getY() == split
);
159 // I didn't take it, pass it on to my children
160 super.onMouseDown(mouse
);
164 * Handle mouse button releases.
166 * @param mouse mouse button release event
169 public void onMouseUp(final TMouseEvent mouse
) {
172 if (inSplitMove
&& mouse
.isMouse1()) {
178 // I didn't take it, pass it on to my children
179 super.onMouseUp(mouse
);
183 * Handle mouse movements.
185 * @param mouse mouse motion event
188 public void onMouseMotion(final TMouseEvent mouse
) {
191 if ((mouse
.getAbsoluteX() - getAbsoluteX() < 0)
192 || (mouse
.getAbsoluteX() - getAbsoluteX() >= getWidth())
193 || (mouse
.getAbsoluteY() - getAbsoluteY() < 0)
194 || (mouse
.getAbsoluteY() - getAbsoluteY() >= getHeight())
196 // Mouse has travelled out of my window.
202 split
= mouse
.getX();
203 split
= Math
.min(Math
.max(1, split
), getWidth() - 2);
205 split
= mouse
.getY();
206 split
= Math
.min(Math
.max(1, split
), getHeight() - 2);
212 // I didn't take it, pass it on to my children
213 super.onMouseMotion(mouse
);
216 // ------------------------------------------------------------------------
217 // TWidget ----------------------------------------------------------------
218 // ------------------------------------------------------------------------
225 CellAttributes attr
= getTheme().getColor("tsplitpane");
227 vLineXY(split
, 0, getHeight(), GraphicsChars
.WINDOW_SIDE
, attr
);
228 // TODO: draw intersections of children
231 && (mouse
.getAbsoluteX() == getAbsoluteX() + split
)
232 && (mouse
.getAbsoluteY() >= getAbsoluteY()) &&
233 (mouse
.getAbsoluteY() < getAbsoluteY() + getHeight())
235 putCharXY(split
, mouse
.getAbsoluteY() - getAbsoluteY(),
239 hLineXY(0, split
, getWidth(), GraphicsChars
.SINGLE_BAR
, attr
);
240 // TODO: draw intersections of children
243 && (mouse
.getAbsoluteY() == getAbsoluteY() + split
)
244 && (mouse
.getAbsoluteX() >= getAbsoluteX()) &&
245 (mouse
.getAbsoluteX() < getAbsoluteX() + getWidth())
247 putCharXY(mouse
.getAbsoluteX() - getAbsoluteX(), split
,
254 // ------------------------------------------------------------------------
255 // TSplitPane -------------------------------------------------------------
256 // ------------------------------------------------------------------------
259 * Get the widget on the left side.
261 * @return the widget on the left, or null if not set
263 public TWidget
getLeft() {
268 * Set the widget on the left side.
270 * @param left the widget to set, or null to remove
272 public void setLeft(final TWidget left
) {
274 throw new IllegalArgumentException("cannot set left on " +
275 "horizontal split pane");
283 left
.setParent(this, false);
284 onResize(new TResizeEvent(TResizeEvent
.Type
.WIDGET
, getWidth(),
289 * Get the widget on the right side.
291 * @return the widget on the right, or null if not set
293 public TWidget
getRight() {
298 * Set the widget on the right side.
300 * @param right the widget to set, or null to remove
302 public void setRight(final TWidget right
) {
304 throw new IllegalArgumentException("cannot set right on " +
305 "horizontal split pane");
313 right
.setParent(this, false);
314 onResize(new TResizeEvent(TResizeEvent
.Type
.WIDGET
, getWidth(),
319 * Get the widget on the top side.
321 * @return the widget on the top, or null if not set
323 public TWidget
getTop() {
328 * Set the widget on the top side.
330 * @param top the widget to set, or null to remove
332 public void setTop(final TWidget top
) {
334 throw new IllegalArgumentException("cannot set top on vertical " +
343 top
.setParent(this, false);
344 onResize(new TResizeEvent(TResizeEvent
.Type
.WIDGET
, getWidth(),
349 * Get the widget on the bottom side.
351 * @return the widget on the bottom, or null if not set
353 public TWidget
getBottom() {
358 * Set the widget on the bottom side.
360 * @param bottom the widget to set, or null to remove
362 public void setBottom(final TWidget bottom
) {
364 throw new IllegalArgumentException("cannot set bottom on " +
365 "vertical split pane");
367 if (bottom
== null) {
372 this.bottom
= bottom
;
373 bottom
.setParent(this, false);
374 onResize(new TResizeEvent(TResizeEvent
.Type
.WIDGET
, getWidth(),
379 * Layout the two child widgets.
381 private void layoutChildren() {
384 left
.setDimensions(0, 0, split
, getHeight());
385 left
.onResize(new TResizeEvent(TResizeEvent
.Type
.WIDGET
,
386 left
.getWidth(), left
.getHeight()));
389 right
.setDimensions(split
+ 1, 0, getWidth() - split
- 1,
391 right
.onResize(new TResizeEvent(TResizeEvent
.Type
.WIDGET
,
392 right
.getWidth(), right
.getHeight()));
396 top
.setDimensions(0, 0, getWidth(), split
);
397 top
.onResize(new TResizeEvent(TResizeEvent
.Type
.WIDGET
,
398 top
.getWidth(), top
.getHeight()));
400 if (bottom
!= null) {
401 bottom
.setDimensions(0, split
+ 1, getWidth(),
402 getHeight() - split
- 1);
403 bottom
.onResize(new TResizeEvent(TResizeEvent
.Type
.WIDGET
,
404 bottom
.getWidth(), bottom
.getHeight()));
410 * Recenter the split to the middle of this split pane.
412 public void center() {
414 split
= getWidth() / 2;
416 split
= getHeight() / 2;