001    // This file is part of AceWiki.
002    // Copyright 2008-2012, AceWiki developers.
003    // 
004    // AceWiki is free software: you can redistribute it and/or modify it under the terms of the GNU
005    // Lesser General Public License as published by the Free Software Foundation, either version 3 of
006    // the License, or (at your option) any later version.
007    // 
008    // AceWiki is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without
009    // even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
010    // Lesser General Public License for more details.
011    // 
012    // You should have received a copy of the GNU Lesser General Public License along with AceWiki. If
013    // not, see http://www.gnu.org/licenses/.
014    
015    package ch.uzh.ifi.attempto.echocomp;
016    
017    import nextapp.echo.app.Border;
018    import nextapp.echo.app.Color;
019    import nextapp.echo.app.Extent;
020    import nextapp.echo.app.Font;
021    
022    /**
023     * This is a convenience class for easy creation of text area.
024     * 
025     * @author Tobias Kuhn
026     */
027    public class TextArea extends nextapp.echo.app.TextArea {
028            
029            private static final long serialVersionUID = 8965038167453278878L;
030            
031            /**
032             * Creates a new text area.
033             * 
034             * @param width The width of the text area.
035             * @param height The height of the text area.
036             */
037            public TextArea(int width, int height) {
038                    setWidth(new Extent(width));
039                    setHeight(new Extent(height));
040                    setFont(new Font(Style.fontTypeface, Font.PLAIN, new Extent(13)));
041                    setBackground(Style.lightBackground);
042                    setBorder(new Border(1, Color.BLACK, Border.STYLE_INSET));
043            }
044            
045            /**
046             * Creates a new text area.
047             */
048            public TextArea() {
049                    this(500, 100);
050            }
051    
052    }