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