// This file is part of AceWiki. // Copyright 2008-2013, AceWiki developers. // // AceWiki is free software: you can redistribute it and/or modify it under the terms of the GNU // Lesser General Public License as published by the Free Software Foundation, either version 3 of // the License, or (at your option) any later version. // // AceWiki is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without // even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU // Lesser General Public License for more details. // // You should have received a copy of the GNU Lesser General Public License along with AceWiki. If // not, see http://www.gnu.org/licenses/. package ch.uzh.ifi.attempto.echocomp; import nextapp.echo.app.Border; import nextapp.echo.app.Color; import nextapp.echo.app.Extent; import nextapp.echo.app.Font; /** * This is a convenience class for easy creation of text area. * * @author Tobias Kuhn */ public class TextArea extends nextapp.echo.app.TextArea { private static final long serialVersionUID = 8965038167453278878L; /** * Creates a new text area. * * @param width The width of the text area. * @param height The height of the text area. */ public TextArea(int width, int height) { setWidth(new Extent(width)); setHeight(new Extent(height)); setFont(new Font(Style.fontTypeface, Font.PLAIN, new Extent(13))); setBackground(Style.lightBackground); setBorder(new Border(1, Color.BLACK, Border.STYLE_INSET)); } /** * Creates a new text area. */ public TextArea() { this(500, 100); } }