--- /dev/null
+/*
+ * Jexer - Java Text User Interface
+ *
+ * The MIT License (MIT)
+ *
+ * Copyright (C) 2019 Kevin Lamonte
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a
+ * copy of this software and associated documentation files (the "Software"),
+ * to deal in the Software without restriction, including without limitation
+ * the rights to use, copy, modify, merge, publish, distribute, sublicense,
+ * and/or sell copies of the Software, and to permit persons to whom the
+ * Software is furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
+ * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+ * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
+ * DEALINGS IN THE SOFTWARE.
+ *
+ * @author Kevin Lamonte [kevin.lamonte@gmail.com]
+ * @version 1
+ */
+package jexer;
+
+import jexer.bits.CellAttributes;
+import jexer.bits.GraphicsChars;
+import jexer.event.TMenuEvent;
+import jexer.event.TMouseEvent;
+import jexer.event.TResizeEvent;
+import jexer.menu.TMenu;
+
+/**
+ * TSplitPane contains two widgets with a draggable horizontal or vertical
+ * bar between them.
+ */
+public class TSplitPane extends TWidget {
+
+ // ------------------------------------------------------------------------
+ // Variables --------------------------------------------------------------
+ // ------------------------------------------------------------------------
+
+ /**
+ * If true, split vertically. If false, split horizontally.
+ */
+ private boolean vertical = true;
+
+ /**
+ * The location of the split bar, either as a column number for vertical
+ * split or a row number for horizontal split.
+ */
+ private int split = 0;
+
+ /**
+ * The widget on the left side.
+ */
+ private TWidget left;
+
+ /**
+ * The widget on the right side.
+ */
+ private TWidget right;
+
+ /**
+ * The widget on the top side.
+ */
+ private TWidget top;
+
+ /**
+ * The widget on the bottom side.
+ */
+ private TWidget bottom;
+
+ /**
+ * If true, we are in the middle of a split move.
+ */
+ private boolean inSplitMove = false;
+
+ /**
+ * The last seen mouse position.
+ */
+ private TMouseEvent mouse;
+
+ // ------------------------------------------------------------------------
+ // Constructors -----------------------------------------------------------
+ // ------------------------------------------------------------------------
+
+ /**
+ * Public constructor.
+ *
+ * @param parent parent widget
+ * @param x column relative to parent
+ * @param y row relative to parent
+ * @param width width of widget
+ * @param height height of widget
+ * @param vertical if true, split vertically
+ */
+ public TSplitPane(final TWidget parent, final int x, final int y,
+ final int width, final int height, final boolean vertical) {
+
+ super(parent, x, y, width, height);
+
+ this.vertical = vertical;
+ center();
+ }
+
+ // ------------------------------------------------------------------------
+ // Event handlers ---------------------------------------------------------
+ // ------------------------------------------------------------------------
+
+ /**
+ * Handle window/screen resize events.
+ *
+ * @param event resize event
+ */
+ @Override
+ public void onResize(final TResizeEvent event) {
+ if (event.getType() == TResizeEvent.Type.WIDGET) {
+ // Resize me
+ super.onResize(event);
+
+ if (vertical && (split >= getWidth() - 2)) {
+ center();
+ } else if (!vertical && (split >= getHeight() - 2)) {
+ center();
+ } else {
+ layoutChildren();
+ }
+ }
+ }
+
+ /**
+ * Handle mouse button presses.
+ *
+ * @param mouse mouse button event
+ */
+ @Override
+ public void onMouseDown(final TMouseEvent mouse) {
+ this.mouse = mouse;
+
+ inSplitMove = false;
+
+ if (mouse.isMouse1()) {
+ if (vertical) {
+ inSplitMove = (mouse.getAbsoluteX() - getAbsoluteX() == split);
+ } else {
+ inSplitMove = (mouse.getAbsoluteY() - getAbsoluteY() == split);
+ }
+ if (inSplitMove) {
+ return;
+ }
+ }
+
+ // I didn't take it, pass it on to my children
+ super.onMouseDown(mouse);
+ }
+
+ /**
+ * Handle mouse button releases.
+ *
+ * @param mouse mouse button release event
+ */
+ @Override
+ public void onMouseUp(final TMouseEvent mouse) {
+ this.mouse = mouse;
+
+ if (inSplitMove && mouse.isMouse1()) {
+ // Stop moving split
+ inSplitMove = false;
+ return;
+ }
+
+ // I didn't take it, pass it on to my children
+ super.onMouseUp(mouse);
+ }
+
+ /**
+ * Handle mouse movements.
+ *
+ * @param mouse mouse motion event
+ */
+ @Override
+ public void onMouseMotion(final TMouseEvent mouse) {
+ this.mouse = mouse;
+
+ if ((mouse.getAbsoluteX() - getAbsoluteX() < 0)
+ || (mouse.getAbsoluteX() - getAbsoluteX() >= getWidth())
+ || (mouse.getAbsoluteY() - getAbsoluteY() < 0)
+ || (mouse.getAbsoluteY() - getAbsoluteY() >= getHeight())
+ ) {
+ // Mouse has travelled out of my window.
+ inSplitMove = false;
+ }
+
+ if (inSplitMove) {
+ if (vertical) {
+ split = mouse.getAbsoluteX() - getAbsoluteX();
+ split = Math.min(Math.max(1, split), getWidth() - 2);
+ } else {
+ split = mouse.getAbsoluteY() - getAbsoluteY();
+ split = Math.min(Math.max(1, split), getHeight() - 2);
+ }
+ layoutChildren();
+ return;
+ }
+
+ // I didn't take it, pass it on to my children
+ super.onMouseMotion(mouse);
+ }
+
+ // ------------------------------------------------------------------------
+ // TWidget ----------------------------------------------------------------
+ // ------------------------------------------------------------------------
+
+ /**
+ * Draw me on screen.
+ */
+ @Override
+ public void draw() {
+ CellAttributes attr = getTheme().getColor("tsplitpane");
+ if (vertical) {
+ vLineXY(split, 0, getHeight(), GraphicsChars.WINDOW_SIDE, attr);
+ // TODO: draw intersections of children
+
+ if ((mouse != null)
+ && (mouse.getAbsoluteX() == getAbsoluteX() + split)
+ && (mouse.getAbsoluteY() >= getAbsoluteY()) &&
+ (mouse.getAbsoluteY() < getAbsoluteY() + getHeight())
+ ) {
+ putCharXY(split, mouse.getAbsoluteY() - getAbsoluteY(),
+ '\u2194', attr);
+ }
+ } else {
+ hLineXY(0, split, getWidth(), GraphicsChars.SINGLE_BAR, attr);
+ // TODO: draw intersections of children
+
+ if ((mouse != null)
+ && (mouse.getAbsoluteY() == getAbsoluteY() + split)
+ && (mouse.getAbsoluteX() >= getAbsoluteX()) &&
+ (mouse.getAbsoluteX() < getAbsoluteX() + getWidth())
+ ) {
+ putCharXY(mouse.getAbsoluteX() - getAbsoluteX(), split,
+ '\u2195', attr);
+ }
+ }
+
+ }
+
+ /**
+ * Generate a human-readable string for this widget.
+ *
+ * @return a human-readable string
+ */
+ @Override
+ public String toString() {
+ return String.format("%s(%8x) %s position (%d, %d) geometry %dx%d " +
+ "split %d left %s(%8x) right %s(%8x) top %s(%8x) bottom %s(%8x) " +
+ "active %s enabled %s visible %s", getClass().getName(),
+ hashCode(), (vertical ? "VERTICAL" : "HORIZONTAL"),
+ getX(), getY(), getWidth(), getHeight(), split,
+ (left == null ? "null" : left.getClass().getName()),
+ (left == null ? 0 : left.hashCode()),
+ (right == null ? "null" : right.getClass().getName()),
+ (right == null ? 0 : right.hashCode()),
+ (top == null ? "null" : top.getClass().getName()),
+ (top == null ? 0 : top.hashCode()),
+ (bottom == null ? "null" : bottom.getClass().getName()),
+ (bottom == null ? 0 : bottom.hashCode()),
+ isActive(), isEnabled(), isVisible());
+ }
+
+ // ------------------------------------------------------------------------
+ // TSplitPane -------------------------------------------------------------
+ // ------------------------------------------------------------------------
+
+ /**
+ * Get the widget on the left side.
+ *
+ * @return the widget on the left, or null if not set
+ */
+ public TWidget getLeft() {
+ return left;
+ }
+
+ /**
+ * Set the widget on the left side.
+ *
+ * @param left the widget to set, or null to remove
+ */
+ public void setLeft(final TWidget left) {
+ if (!vertical) {
+ throw new IllegalArgumentException("cannot set left on " +
+ "horizontal split pane");
+ }
+ if (left == null) {
+ if (this.left != null) {
+ remove(this.left);
+ }
+ this.left = null;
+ return;
+ }
+ this.left = left;
+ left.setParent(this, false);
+ onResize(new TResizeEvent(TResizeEvent.Type.WIDGET, getWidth(),
+ getHeight()));
+ }
+
+ /**
+ * Get the widget on the right side.
+ *
+ * @return the widget on the right, or null if not set
+ */
+ public TWidget getRight() {
+ return right;
+ }
+
+ /**
+ * Set the widget on the right side.
+ *
+ * @param right the widget to set, or null to remove
+ */
+ public void setRight(final TWidget right) {
+ if (!vertical) {
+ throw new IllegalArgumentException("cannot set right on " +
+ "horizontal split pane");
+ }
+ if (right == null) {
+ if (this.right != null) {
+ remove(this.right);
+ }
+ this.right = null;
+ return;
+ }
+ this.right = right;
+ right.setParent(this, false);
+ onResize(new TResizeEvent(TResizeEvent.Type.WIDGET, getWidth(),
+ getHeight()));
+ }
+
+ /**
+ * Get the widget on the top side.
+ *
+ * @return the widget on the top, or null if not set
+ */
+ public TWidget getTop() {
+ return top;
+ }
+
+ /**
+ * Set the widget on the top side.
+ *
+ * @param top the widget to set, or null to remove
+ */
+ public void setTop(final TWidget top) {
+ if (vertical) {
+ throw new IllegalArgumentException("cannot set top on vertical " +
+ "split pane");
+ }
+ if (top == null) {
+ if (this.top != null) {
+ remove(this.top);
+ }
+ this.top = null;
+ return;
+ }
+ this.top = top;
+ top.setParent(this, false);
+ onResize(new TResizeEvent(TResizeEvent.Type.WIDGET, getWidth(),
+ getHeight()));
+ }
+
+ /**
+ * Get the widget on the bottom side.
+ *
+ * @return the widget on the bottom, or null if not set
+ */
+ public TWidget getBottom() {
+ return bottom;
+ }
+
+ /**
+ * Set the widget on the bottom side.
+ *
+ * @param bottom the widget to set, or null to remove
+ */
+ public void setBottom(final TWidget bottom) {
+ if (vertical) {
+ throw new IllegalArgumentException("cannot set bottom on " +
+ "vertical split pane");
+ }
+ if (bottom == null) {
+ if (this.bottom != null) {
+ remove(this.bottom);
+ }
+ this.bottom = null;
+ return;
+ }
+ this.bottom = bottom;
+ bottom.setParent(this, false);
+ onResize(new TResizeEvent(TResizeEvent.Type.WIDGET, getWidth(),
+ getHeight()));
+ }
+
+ /**
+ * Remove a widget, regardless of what pane it is on.
+ *
+ * @param widget the widget to remove
+ */
+ public void removeWidget(final TWidget widget) {
+ if (widget == null) {
+ throw new IllegalArgumentException("cannot remove null widget");
+ }
+ if (left == widget) {
+ left = null;
+ assert(right != widget);
+ assert(top != widget);
+ assert(bottom != widget);
+ return;
+ }
+ if (right == widget) {
+ right = null;
+ assert(left != widget);
+ assert(top != widget);
+ assert(bottom != widget);
+ return;
+ }
+ if (top == widget) {
+ top = null;
+ assert(left != widget);
+ assert(right != widget);
+ assert(bottom != widget);
+ return;
+ }
+ if (bottom == widget) {
+ bottom = null;
+ assert(left != widget);
+ assert(right != widget);
+ assert(top != widget);
+ return;
+ }
+ throw new IllegalArgumentException("widget " + widget +
+ " not in this split");
+ }
+
+ /**
+ * Replace a widget, regardless of what pane it is on, with another
+ * widget.
+ *
+ * @param oldWidget the widget to remove
+ * @param newWidget the widget to replace it with
+ */
+ public void replaceWidget(final TWidget oldWidget,
+ final TWidget newWidget) {
+
+ if (oldWidget == null) {
+ throw new IllegalArgumentException("cannot remove null oldWidget");
+ }
+ if (left == oldWidget) {
+ setLeft(newWidget);
+ assert(right != newWidget);
+ assert(top != newWidget);
+ assert(bottom != newWidget);
+ return;
+ }
+ if (right == oldWidget) {
+ setRight(newWidget);
+ assert(left != newWidget);
+ assert(top != newWidget);
+ assert(bottom != newWidget);
+ return;
+ }
+ if (top == oldWidget) {
+ setTop(newWidget);
+ assert(left != newWidget);
+ assert(right != newWidget);
+ assert(bottom != newWidget);
+ return;
+ }
+ if (bottom == oldWidget) {
+ setBottom(newWidget);
+ assert(left != newWidget);
+ assert(right != newWidget);
+ assert(top != newWidget);
+ return;
+ }
+ throw new IllegalArgumentException("oldWidget " + oldWidget +
+ " not in this split");
+ }
+
+ /**
+ * Layout the two child widgets.
+ */
+ private void layoutChildren() {
+ if (vertical) {
+ if (left != null) {
+ left.setDimensions(0, 0, split, getHeight());
+ left.onResize(new TResizeEvent(TResizeEvent.Type.WIDGET,
+ left.getWidth(), left.getHeight()));
+ }
+ if (right != null) {
+ right.setDimensions(split + 1, 0, getWidth() - split - 1,
+ getHeight());
+ right.onResize(new TResizeEvent(TResizeEvent.Type.WIDGET,
+ right.getWidth(), right.getHeight()));
+ }
+ } else {
+ if (top != null) {
+ top.setDimensions(0, 0, getWidth(), split);
+ top.onResize(new TResizeEvent(TResizeEvent.Type.WIDGET,
+ top.getWidth(), top.getHeight()));
+ }
+ if (bottom != null) {
+ bottom.setDimensions(0, split + 1, getWidth(),
+ getHeight() - split - 1);
+ bottom.onResize(new TResizeEvent(TResizeEvent.Type.WIDGET,
+ bottom.getWidth(), bottom.getHeight()));
+ }
+ }
+ }
+
+ /**
+ * Recenter the split to the middle of this split pane.
+ */
+ public void center() {
+ if (vertical) {
+ split = getWidth() / 2;
+ } else {
+ split = getHeight() / 2;
+ }
+ layoutChildren();
+ }
+
+ /**
+ * Remove this split, removing the widget specified.
+ *
+ * @param widgetToRemove the widget to remove
+ * @param doClose if true, call the close() method before removing the
+ * child
+ * @return the pane that remains, or null if nothing is retained
+ */
+ public TWidget removeSplit(final TWidget widgetToRemove,
+ final boolean doClose) {
+
+ TWidget keep = null;
+ if (vertical) {
+ if ((widgetToRemove != left) && (widgetToRemove != right)) {
+ throw new IllegalArgumentException("widget to remove is not " +
+ "either of the panes in this splitpane");
+ }
+ if (widgetToRemove == left) {
+ keep = right;
+ } else {
+ keep = left;
+ }
+
+ } else {
+ if ((widgetToRemove != top) && (widgetToRemove != bottom)) {
+ throw new IllegalArgumentException("widget to remove is not " +
+ "either of the panes in this splitpane");
+ }
+ if (widgetToRemove == top) {
+ keep = bottom;
+ } else {
+ keep = top;
+ }
+ }
+
+ // Remove me from my parent widget.
+ TWidget myParent = getParent();
+ remove(false);
+
+ if (keep == null) {
+ if (myParent instanceof TSplitPane) {
+ // TSplitPane has a left/right/top/bottom link to me
+ // somewhere, remove it.
+ ((TSplitPane) myParent).removeWidget(this);
+ }
+
+ // Nothing is left of either pane. Remove me and bail out.
+ return null;
+ }
+
+ if (myParent instanceof TSplitPane) {
+ // TSplitPane has a left/right/top/bottom link to me
+ // somewhere, replace me with keep.
+ ((TSplitPane) myParent).replaceWidget(this, keep);
+ } else {
+ keep.setParent(myParent, false);
+ keep.setDimensions(getX(), getY(), getWidth(), getHeight());
+ keep.onResize(new TResizeEvent(TResizeEvent.Type.WIDGET, getWidth(),
+ getHeight()));
+ }
+
+ return keep;
+ }
+
+}
git://git.nikiroo.be / fanfix.git / blobdiff