10 return String("\\vrule height ") + print_dimen(h) + "depth 0pt width 0pt";
15 substitute_arg(String& r, String arg)
20 r = r.left(p) + arg + r.right(r.len() - p -1);
25 substitute_args(String source, Array<String> args)
27 String retval (source);
28 for (int i = 0 ; i < args.size(); i++)
29 substitute_arg(retval, args[i]);
30 while (retval.pos('%'))
31 substitute_arg(retval, "");
35 substitute_args(String source, Array<Scalar> args)
38 for (int i = 0 ; i < args.size(); i++)
41 return substitute_args(source, sv);