W3C home > Mailing lists > Public > public-html-media@w3.org > April 2013

[Bug 21703] New: appendWindowEnd type should be type "unrestricted double" since it is initially set to positive Infinity

From: <bugzilla@jessica.w3.org>
Date: Mon, 15 Apr 2013 23:33:02 +0000
To: public-html-media@w3.org
Message-ID: <bug-21703-5436@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=21703

            Bug ID: 21703
           Summary: appendWindowEnd type should be type "unrestricted
                    double" since it is initially set to positive Infinity
    Classification: Unclassified
           Product: HTML WG
           Version: unspecified
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Media Source Extensions
          Assignee: adrianba@microsoft.com
          Reporter: jdsmith@microsoft.com
        QA Contact: public-html-bugzilla@w3.org
                CC: mike@w3.org, public-html-media@w3.org

A type "double" cannot be set to Infinity.  Changing appendWindowEnd to type
"unrestricted double" will allow this initial value.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
Received on Monday, 15 April 2013 23:33:04 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 15:48:35 UTC