Thank you everyone for your feedback. We realize that adding a new API is something to be considered very carefully and know that we need to get general WebKit buy-in before proceeding with any development here. It's very true that each new feature has its costs and benefits. I do hope we can have some good discussions about the idea in all its different facets, because it's being taken very seriously in the public-audio working group:
http://www.w3.org/TR/2012/WD-webmidi-20121025/. The API proposal is still in draft stage, of course. On Fri, Jan 18, 2013 at 7:51 PM, Takashi Toyoshima <[email protected]> wrote: > Hi webkit-dev, > > I want to let you know that I plan to add Web MIDI API support to WebKit. > This support will be behind the ENABLE_WEB_MIDI feature define. > > See the master bug for Web MIDI API: > https://bugs.webkit.org/show_bug.cgi?id=107250 > > I'll enable this feature in Chromium port once the implementation > becomes ready for that. > > Thanks, _______________________________________________ webkit-dev mailing list [email protected] http://lists.webkit.org/mailman/listinfo/webkit-dev
