let open_cb select_init_env () = match GToolbox.select_file ~title:"Select a dot file" () with | None -> () | Some filename -> open_file select_init_env filename