method execute_file f =
try
let b = input_view#buffer in
let code = string_of_file f in
b#delete ~start: b#start_iter ~stop: b#end_iter;
b#insert code;
self#execute ()
with
| Sys_error s
| Failure s ->
GToolbox.message_box param#s_error s