001 // This file is part of the Attempto Java Packages. 002 // Copyright 2008-2009, 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 }