W3C home > Mailing lists > Public > public-tt@w3.org > May 2013

ISSUE-223 (exclude comma from <string>): Should exclude COMMA from <string> in 8.3.12 [TTML 1.0]

From: Timed Text Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Thu, 30 May 2013 03:20:34 +0000
Message-Id: <E1UhtPm-0007Qc-Ej@tibor.w3.org>
To: public-tt@w3.org
ISSUE-223 (exclude comma from <string>): Should exclude COMMA from <string> in 8.3.12 [TTML 1.0]

http://www.w3.org/AudioVideo/TT/tracker/issues/223

Raised by: Glenn Adams
On product: TTML 1.0

The prose that defines <familyName> in 8.3.5 states that COMMA cannot appear in <string>, however 8.3.12, which defines <string>, does not exclude it in its syntax definition. Since <string> is only referenced by the definition of <familyName>, we should add this exclusion in the definition of <string>, so that it reads as:

<string>
  : ( char - { "\"" | "\'" | "," } )+

And then add a note indicating that this syntax is only used by <familyName> which requires the exclusion of COMMA in order to parse <fontFamily> correctly.
Received on Thursday, 30 May 2013 03:20:39 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 5 October 2017 18:24:09 UTC