method
on_destroy_active_view () =
Cam_commands
.eval_command
"destroy_active_view"