    001    // This file is part of the Attempto Java Packages.
    002    // Copyright 2008, Attempto Group, University of Zurich (see http://attempto.ifi.uzh.ch).
    003    //
    004    // The Attempto Java Packages is free software: you can redistribute it and/or modify it under the
    005    // terms of the GNU Lesser General Public License as published by the Free Software Foundation,
    006    // either version 3 of the License, or (at your option) any later version.
    007    //
    008    // The Attempto Java Packages is distributed in the hope that it will be useful, but WITHOUT ANY
    009    // WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
    010    // PURPOSE. See the GNU Lesser General Public License for more details.
    011    //
    012    // You should have received a copy of the GNU Lesser General Public License along with the Attempto
    013    // Java Packages. If not, see http://www.gnu.org/licenses/.
    014
    015    package ch.uzh.ifi.attempto.echocomp;
    016
    017    import nextapp.echo2.app.Column;
    018    import nextapp.echo2.app.Insets;
    019
    020    /**
    021     * This class produces a vertical empty space.
    022     *
    023     * @author Tobias Kuhn
    024     */
    025    public class VSpace extends Column {
    026
    027            private static final long serialVersionUID = 6466987710837687895L;
    028
    029            /**
    030             * Creates a vertical empty space of default size 5.
    031             */
    032            public VSpace() {
    033                    this(5);
    034            }
    035
    036            /**
    037             * Creates a vertical empty space of the given size.
    038             *
    039             * @param size The size.
    040             */
    041            public VSpace(int size) {
    042                    super();
    043                    setInsets(new Insets(0, size, 0, 0));
    044            }
    045
    046    }