method on_destroy_active_view () =
      Cam_commands.eval_command "destroy_active_view"