method
destroy_active_view =
match
active_view
with
None
->
()
|
Some
v
->
v
#
destroy