Re: [mediacapture-screen-share] Address nullability of DisplayMediaStreamOptions.controller (#236)

I think currently you cannot use the simplified prose as Web IDL normalizes undefined to missing. It would probably work if we get rid of optional/missing entirely.

-- 
GitHub Notification of comment by annevk
Please view or discuss this issue at https://github.com/w3c/mediacapture-screen-share/issues/236#issuecomment-1264377563 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Saturday, 1 October 2022 14:10:31 UTC