Parent Directory | Revision Log | Patch
revision 1.8 by benja, Sun Sep 29 14:53:45 2002 UTC | revision 1.9 by tjl, Tue Oct 8 07:34:54 2002 UTC | |
---|---|---|
# | Line 134 public static final String rcsid = "$Id$ | Line 134 public static final String rcsid = "$Id$ |
134 | s = ""+s; | s = ""+s; |
135 | ||
136 | if(dbg) pa("addVobs: "+start+" "+end+" '"+s+"'"); | if(dbg) pa("addVobs: "+start+" "+end+" '"+s+"'"); |
137 | TextVob vob = new TextVob(style, scale, s, key); | TextVob vob = new TextVob(style, s, true, key); |
138 | ch.addBox(vob); | ch.addBox(vob); |
139 | } | } |
140 | } | } |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |