W3C home > Mailing lists > Public > whatwg@whatwg.org > August 2010

[whatwg] Discussing WebSRT and alternatives/improvements

From: Philip Jägenstedt <philipj@opera.com>
Date: Wed, 25 Aug 2010 09:15:38 +0200
Message-ID: <op.vhzfscxvsr6mfa@nog>
On Tue, 24 Aug 2010 17:54:41 +0200, Tab Atkins Jr. <jackalmage at gmail.com>  
wrote:

> On Tue, Aug 24, 2010 at 8:07 AM, Philip J?genstedt <philipj at opera.com>  
> wrote:
>> On Tue, 24 Aug 2010 16:21:28 +0200, Henri Sivonen <hsivonen at iki.fi>  
>> wrote:
>>> I'd be OK with not supporting karaoke or anime fansubbing at all
>>> declaratively (requiring those use cases to be addressed in  
>>> JavaScript) or
>>> with using more verbose syntax like <t t=00:01:30>...</t>.
>>
>> I'd also be fine with not having intra-cue timing, but adding new  
>> elements
>> or attributes to HTML just for WebSRT seems odd.
>
> I'm not sure why this is particularly bad.  It's likely not worth
> adding *several* elements, but one or two for a relatively significant
> subsection of HTML seems appropriate, if necessary.
>
> (I don't see a significant difference between <00:01:30> and <t
> t=00:01:30></t>.)

Would you suggest that such new elements be valid in all HTML documents,  
or just in WebSRT?

Assuming that this is only for intra-cue timings, it really doesn't seem  
worth the effort either way.

Using the HTML parser doesn't seem like it would be a real saving in  
implementation cost, so what's the point?

-- 
Philip J?genstedt
Core Developer
Opera Software
Received on Wednesday, 25 August 2010 00:15:38 UTC

This archive was generated by hypermail 2.4.0 : Wednesday, 22 January 2020 16:59:26 UTC