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