- From: Anne van Kesteren <notifications@github.com>
- Date: Tue, 18 Feb 2025 00:25:18 -0800
- To: WICG/webcomponents <webcomponents@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 18 February 2025 08:25:22 UTC
annevk left a comment (WICG/webcomponents#1093) That's a good point. From the earlier options above, I don't see how 3 would work with `delete`. That doesn't end up invoking the getter or setter, iirc. Both 1 and 2 seem workable. I have a preference for 2 as that more closely matches the semantics of the `id` getter/setter and `getElementById()`. -- Reply to this email directly or view it on GitHub: https://github.com/WICG/webcomponents/issues/1093#issuecomment-2664917319 You are receiving this because you are subscribed to this thread. Message ID: <WICG/webcomponents/issues/1093/2664917319@github.com>
Received on Tuesday, 18 February 2025 08:25:22 UTC