method on_view_destroy v () = self#on_tab_destroy (`View v) None