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