WebAudio / web-midi-api

The Web MIDI API, developed by the W3C Audio WG
http://webaudio.github.io/web-midi-api/
Other
323 stars 50 forks source link

Tweaks requested for publishing #94

Closed cwilso closed 9 years ago

cwilso commented 10 years ago

From Doug while publishing last public draft:

The updated Working Draft of the Web MIDI API spec was published today [1], as planned.

I took the liberty of adding a few more headers:

If you don't want these, we can take them out next time, but I think people find them more useful at the top than hidden in the "status" section.

There were 3 validation errors (all duplicate IDs between "MIDIInputMap" and "MIDIOutputMap" interface descriptions), and several broken links or broken fragment ids (notably, a couple internal broken ids, a broken link to Jussi's old website which I updated, and broken links to the HTML5 editor's draft which I changed to the TR version). Jussi, Chris, please change these in the Editor's Draft for next time.

[1] http://www.w3.org/TR/2013/WD-webmidi-20131126

marcoscaceres commented 10 years ago

Thanks for adding the additional links at the top! These are really helpful.

cwilso commented 9 years ago

I believe these have all been addressed in the ED.