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 }