    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.Border;
    018    import nextapp.echo2.app.Color;
    019    import nextapp.echo2.app.Extent;
    020    import nextapp.echo2.app.Font;
    021    import nextapp.echo2.app.event.ActionListener;
    022
    023    /**
    024     * This is a convenience class for easy creation of text fields.
    025     *
    026     * @author Tobias Kuhn
    027     */
    028    public class TextField extends nextapp.echo2.app.TextField {
    029
    030            private static final long serialVersionUID = 8965038167453278878L;
    031
    032            /**
    033             * Creates a new text field.
    034             */
    035            public TextField() {
    036                    setWidth(new Extent(500));
    037                    setHeight(new Extent(17));
    038                    setFont(new Font(Style.fontTypeface, Font.PLAIN, new Extent(13)));
    039                    setBackground(Style.lightBackground);
    040                    setBorder(new Border(1, Color.BLACK, Border.STYLE_INSET));
    041            }
    042
    043            /**
    044             * Creates a new text field.
    045             *
    046             * @param actionListener The action-listener of the text field.
    047             */
    048            public TextField(ActionListener actionListener) {
    049                    this();
    050                    addActionListener(actionListener);
    051            }
    052
    053    }