Parent Directory | Revision Log | Patch
revision 1.38 by tjl, Tue Oct 8 07:30:12 2002 UTC | revision 1.39 by tjl, Tue Oct 8 07:34:54 2002 UTC | |
---|---|---|
# | Line 48 String rcsid = "$Id$"; | Line 48 String rcsid = "$Id$"; |
48 | this.text = text; | this.text = text; |
49 | } | } |
50 | ||
51 | public TextVob(TextStyle style, String text) { | |
52 | this(style, text, false); | |
53 | } | |
54 | ||
55 | public TextVob(TextStyle style, String text, boolean baselined, Object key) { | public TextVob(TextStyle style, String text, boolean baselined, Object key) { |
56 | this(style, text, baselined); | this(style, text, baselined); |
57 | this.key = key; | this.key = key; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |