Parent Directory | Revision Log | Patch
revision 1.27 by tjl, Sun Oct 6 13:45:46 2002 UTC | revision 1.28 by tjl, Tue Oct 8 07:34:54 2002 UTC | |
---|---|---|
# | Line 237 public static final String rcsid = "$Id$ | Line 237 public static final String rcsid = "$Id$ |
237 | int dw = (int)style.getWidth(addtext, 1); | int dw = (int)style.getWidth(addtext, 1); |
238 | int dh = (int)style.getHeight(1); | int dh = (int)style.getHeight(1); |
239 | ||
240 | into.put(new TextVob(style, 1, addtext), | into.put(new TextVob(style, addtext), |
241 | Win.ADDPAPERKEY,5,x,y,dw,dh); | Win.ADDPAPERKEY,5,x,y,dw,dh); |
242 | } | } |
243 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |