9 return String("\\vrule height ") + print_dimen(h) + "depth 0pt width 0pt";
14 substitute_arg(String& r, String arg)
19 r = r.left(p) + arg + r.right(r.len() - p -1);
24 substitute_args(String source, svec<String> args)
26 String retval (source);
27 for (int i = 0 ; i < args.sz(); i++)
28 substitute_arg(retval, args[i]);
29 while (retval.pos('%'))
30 substitute_arg(retval, "");