#57 parse raster attribute in terminal sixel

[fanfix.git] / src / jexer / TSplitPane.java

/*
 * 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;
    }

}