method select (dir : string) = (box#display_dir (Some dir) : unit)