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