let print_ocaml_output args =
if Array.length args < 1 then
()
else
begin
(match !view with
None ->
Cam_commands.launch_command "open_file" [| Ed_ocamloutput_rc.special_filename#get |];
| Some _ -> ()
);
(match !view with
None ->
(* should have a view now, orelse it means that
the ocamloutput factory is not associated to the special filename,
In this case, we must bufferize the string to output, to display it
when a view will be created.
*)
Buffer.add_string delayed_text args.(0)
| Some v ->
v#print args.(0);
v#grab_focus;
)
end