method open_report () = match GToolbox.select_file ~title: Rep_messages.open_file ~dir () with None -> () | Some f -> self#add_file_box (Some f)