method ask_load_file () = match GToolbox.select_file param#s_load_file () with None -> () | Some f -> self#load_file f