method save_active_view = match active_view with None -> () | Some v -> match v#save with None -> () | Some f -> f ()