Re: WebIDL checker, HTML support for 'direct input'

Hi Dominique,

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

On Wed, 22 May 2013 00:36:42 +0200, Simon Pieters <simonp@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

Received on Monday, 27 May 2013 14:47:25 UTC