Re: [w3c/webcomponents] Editor support for WebComponents (#776)

as another consideration there is `web-types`...

https://github.com/JetBrains/web-types


so how are we going to move forward?

@octref I think we are in desperate need of your input 🤗

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/webcomponents/issues/776#issuecomment-544935510