Parent Directory | Revision Log | Patch
revision 1.1 by benja, Sat Nov 2 01:23:46 2002 UTC | revision 1.2 by tjl, Mon Nov 4 22:15:04 2002 UTC | |
---|---|---|
# | Line 83 String rcsid = "$Id$"; | Line 83 String rcsid = "$Id$"; |
83 | this.key = key; | this.key = key; |
84 | } | } |
85 | ||
86 | public TextStyle getTextStyle() { return style; } | |
87 | ||
88 | public String getText() { return text; } | public String getText() { return text; } |
89 | ||
90 | public Object getKey() { | public Object getKey() { |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |