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