let on_view_destroy v = views := List.filter (fun v2 -> Oo.id v <> Oo.id v2) !views; match !active_sourceview with Some v2 when Oo.id v = Oo.id v2 -> active_sourceview := None | Some _ | None -> ()