let string_space = " "
let string_space_len = String.length string_space
-let string_indent = string_space
+let string_indent = (* string_space *) ""
let string_indent_len = String.length string_indent
let string_ink = "##"
let string_ink_len = String.length string_ink
let s_len = String.length s in
(fun _ -> s_len, [s])
-let render_to_strings size markup =
+let render_to_strings choose_action size markup =
let max_size = max_int in
let rec aux_box =
function
| Box.Space _ -> fixed_rendering string_space
| Box.Ink _ -> fixed_rendering string_ink
| Box.Action (_, []) -> assert false
- | Box.Action (_, hd :: _) -> aux_box hd
+ | Box.Action (_, l) -> aux_box (choose_action l)
| Box.Object (_, o) -> aux_mpres o
| Box.H (attrs, children) ->
let spacing = want_spacing attrs in
in
snd (aux_mpres markup size)
-let render_to_string size markup =
- String.concat "\n" (render_to_strings size markup)
+let render_to_string choose_action size markup =
+ String.concat "\n" (render_to_strings choose_action size markup)