method save_active_view_as =
      match active_view with
        None -> ()
      | Some v ->
          match v#save_as with
            None -> ()
          | Some f -> f ()