X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Flayout%2FBoxLayoutManager.java;h=057127fa2277e389a91c9f9e3ea5813084e918a3;hb=929409950e82914aa3cee323cfa7c5007585d2ea;hp=8e7a01e39231913870469d3c8b26653a6e78690b;hpb=8afe8fa7d778da9682b82b6ac56f64d765f6a2d1;p=nikiroo-utils.git

diff --git a/src/jexer/layout/BoxLayoutManager.java b/src/jexer/layout/BoxLayoutManager.java
deleted file mode 100644
index 8e7a01e..0000000
--- a/src/jexer/layout/BoxLayoutManager.java
+++ /dev/null
@@ -1,170 +0,0 @@
-/*
- * 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.layout;
-
-import java.util.ArrayList;
-
-import jexer.TWidget;
-import jexer.event.TResizeEvent;
-
-/**
- * BoxLayoutManager repositions child widgets based on the order they are
- * added to the parent widget and desired orientation.
- */
-public class BoxLayoutManager implements LayoutManager {
-
-    // ------------------------------------------------------------------------
-    // Variables --------------------------------------------------------------
-    // ------------------------------------------------------------------------
-
-    /**
-     * If true, orient vertically.  If false, orient horizontally.
-     */
-    private boolean vertical = true;
-
-    /**
-     * Current width.
-     */
-    private int width = 0;
-
-    /**
-     * Current height.
-     */
-    private int height = 0;
-
-    /**
-     * Widgets being managed.
-     */
-    private ArrayList<TWidget> children = new ArrayList<TWidget>();
-
-    // ------------------------------------------------------------------------
-    // Constructors -----------------------------------------------------------
-    // ------------------------------------------------------------------------
-
-    /**
-     * Public constructor.
-     *
-     * @param width the width of the parent widget
-     * @param height the height of the parent widget
-     * @param vertical if true, arrange widgets vertically
-     */
-    public BoxLayoutManager(final int width, final int height,
-        final boolean vertical) {
-
-        this.width = width;
-        this.height = height;
-        this.vertical = vertical;
-    }
-
-    // ------------------------------------------------------------------------
-    // LayoutManager ----------------------------------------------------------
-    // ------------------------------------------------------------------------
-
-    /**
-     * Process the parent widget's resize event, and resize/reposition child
-     * widgets.
-     *
-     * @param resize resize event
-     */
-    public void onResize(final TResizeEvent resize) {
-        if (resize.getType() == TResizeEvent.Type.WIDGET) {
-            width = resize.getWidth();
-            height = resize.getHeight();
-            layoutChildren();
-        }
-    }
-
-    /**
-     * Add a child widget to manage.
-     *
-     * @param child the widget to manage
-     */
-    public void add(final TWidget child) {
-        children.add(child);
-        layoutChildren();
-    }
-
-    /**
-     * Remove a child widget from those managed by this LayoutManager.
-     *
-     * @param child the widget to remove
-     */
-    public void remove(final TWidget child) {
-        children.remove(child);
-        layoutChildren();
-    }
-
-    /**
-     * Reset a child widget's original/preferred size.
-     *
-     * @param child the widget to manage
-     */
-    public void resetSize(final TWidget child) {
-        // NOP
-    }
-
-    // ------------------------------------------------------------------------
-    // BoxLayoutManager -------------------------------------------------------
-    // ------------------------------------------------------------------------
-
-    /**
-     * Resize/reposition child widgets based on horizontal/vertical
-     * arrangement.
-     */
-    public void layoutChildren() {
-        if (children.size() == 0) {
-            return;
-        }
-        if (vertical) {
-            int widgetHeight = Math.max(1, height / children.size());
-            int leftoverHeight = height % children.size();
-            for (int i = 0; i < children.size() - 1; i++) {
-                TWidget child = children.get(i);
-                child.setDimensions(child.getX(), i * widgetHeight,
-                    width, widgetHeight);
-            }
-            TWidget child = children.get(children.size() - 1);
-            child.setDimensions(child.getX(),
-                (children.size() - 1) * widgetHeight, width,
-                widgetHeight + leftoverHeight);
-        } else {
-            int widgetWidth = Math.max(1, width / children.size());
-            int leftoverWidth = width % children.size();
-            for (int i = 0; i < children.size() - 1; i++) {
-                TWidget child = children.get(i);
-                child.setDimensions(i * widgetWidth, child.getY(),
-                    widgetWidth, height);
-            }
-            TWidget child = children.get(children.size() - 1);
-            child.setDimensions((children.size() - 1) * widgetWidth,
-                child.getY(), widgetWidth + leftoverWidth, height);
-        }
-    }
-
-}