method on_open_file () =
      Cam_commands.eval_command "open_file"