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             * @param width The width of the text field.
036             * @param actionListener The action-listener of the text field.
037             */
038            public TextField(int width, ActionListener actionListener) {
039                    setWidth(new Extent(width));
040                    setHeight(new Extent(17));
041                    setFont(new Font(Style.fontTypeface, Font.PLAIN, new Extent(13)));
042                    setBackground(Style.lightBackground);
043                    setBorder(new Border(1, Color.BLACK, Border.STYLE_INSET));
044                    if (actionListener != null) {
045                            addActionListener(actionListener);
046                    }
047            }
048            
049            /**
050             * Creates a new text field.
051             * 
052             * @param width The width of the text field.
053             */
054            public TextField(int width) {
055                    this(width, null);
056            }
057            
058            /**
059             * Creates a new text field.
060             * 
061             * @param actionListener The action-listener of the text field.
062             */
063            public TextField(ActionListener actionListener) {
064                    this(500, actionListener);
065            }
066            
067            /**
068             * Creates a new text field.
069             */
070            public TextField() {
071                    this(500, null);
072            }
073    
074    }