W3C home > Mailing lists > Public > public-audio@w3.org > July to September 2017

Re: PR Preview now working on webaudio/web-audio-api

From: Raymond Toy <rtoy@google.com>
Date: Tue, 26 Sep 2017 13:48:21 -0700
Message-ID: <CAE3TgXFSiQ=m6s+zZm7+u7hju=K4PEhXhz_f_fCffGYS_HXCAg@mail.gmail.com>
To: Paul Adenot <padenot@mozilla.com>
Cc: "public-audio@w3.org Group" <public-audio@w3.org>
I noticed that that suddenly appeared. Is that just an artifact of using
the official respec?

I think that's pretty cool, because getting previews was always difficult.
Now it's automatic!

But what version is displayed?  The initial commit?  The latest?

On Mon, Sep 25, 2017 at 1:34 AM, Paul Adenot <padenot@mozilla.com> wrote:

> All,
>
> Thanks to Raymond that has done all the hard work to have us using the
> w3-hosted version of ReSpec, we now have PR Preview and diff integrated
> into the Web Audio API spec:
>
> Let's take a recent PR from Raymond as an example: two new links are added
> into messages:
>
>
> ​
> ​
> Clicking the "Preview" link, we have a preview of the text with the PR
> applied, with a helpful warning at the bottom:
>
>
> ​
> ​
> Clicking the diff shows the spec text again, with inline deleted/added
> markup (again on Raymond's PR above):
>
> [image: Inline image 1]
> ​
> This is automatic, and saves us from using rawgit manually each time.
>
> Huge thanks to Tobie Langel for doing this and explaining me how to
> integrate it (it was dead simple). Technically, this is made possible by
> [0], using a couple other web services to render and diff specs. If we end
> up switching to bikeshed, this will keep working (pr-preview was originally
> only supporting bikeshed).
>
> Cheers,
> Paul.
>
> [0]: https://github.com/tobie/pr-preview
>


Screenshot-2017-9-25_WebAudio_web-audio-api.png
(image/png attachment: Screenshot-2017-9-25_WebAudio_web-audio-api.png)

Screenshot-2017-9-25_Web_Audio_API_1_.png
(image/png attachment: Screenshot-2017-9-25_Web_Audio_API_1_.png)

Screenshot-2017-9-25_Web_Audio_API.png
(image/png attachment: Screenshot-2017-9-25_Web_Audio_API.png)

Screenshot-2017-9-25_WebAudio_web-audio-api.png
(image/png attachment: 04-Screenshot-2017-9-25_WebAudio_web-audio-api.png)

Received on Tuesday, 26 September 2017 20:48:47 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 26 September 2017 20:48:47 UTC