Hi Dominique,

I sent the email below to sys...@w3.org but got no response.

On Wed, 22 May 2013 00:36:42 +0200, Simon Pieters <sim...@opera.com> wrote:

Hi,

http://www.w3.org/2009/07/webidl-check is capable of finding WebIDL in HTML when using a URL as input, but not when using the textarea as input. This means that I can't use this tool from the command line with a local HTML file.

Could the tool be extended to support WebIDL in HTML with the textarea, please?

cheers


--
Simon Pieters
Opera Software

Reply via email to