Parent Directory | Revision Log | Patch
revision 1.14 by benja, Wed Oct 2 18:40:43 2002 UTC | revision 1.15 by tjl, Tue Oct 8 07:34:54 2002 UTC | |
---|---|---|
# | Line 123 String rcsid = "$Id$"; | Line 123 String rcsid = "$Id$"; |
123 | ||
124 | /** Get the HBox for some text. */ | /** Get the HBox for some text. */ |
125 | HBox text(String s, int i) { | HBox text(String s, int i) { |
126 | return new TextVob(style, 1.0f, s, new Integer(i)); | return new TextVob(style, s, true, new Integer(i)); |
127 | } | } |
128 | ||
129 | HBox text(String s) { return text(s, 1); } | HBox text(String s) { return text(s, 1); } |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |