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