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
, "");