W3C home > Mailing lists > Public > public-html-media@w3.org > January 2014

[Bug 24227] New: Rename "closed" event to "close"

From: <bugzilla@jessica.w3.org>
Date: Tue, 07 Jan 2014 23:30:12 +0000
To: public-html-media@w3.org
Message-ID: <bug-24227-5436@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=24227

            Bug ID: 24227
           Summary: Rename "closed" event to "close"
           Product: HTML WG
           Version: unspecified
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P3
         Component: Encrypted Media Extensions
          Assignee: adrianba@microsoft.com
          Reporter: ddorwin@google.com
        QA Contact: public-html-bugzilla@w3.org
                CC: mike@w3.org, public-html-media@w3.org

I'm not sure what the preferred naming convention is, but looking at existing
event names [1][2], not many end in "ed". In addition, "close" is already used
for other objects, so it seems odd to add "closed".

"close", "error", and "message" already exist. "ready" and "needkey" are new.


As an aside, MSE also uses "close" on the MediaSource object but also has
"ended". I'm not sure why. (The events actually have a "source" prefix, which
is unfortunate.)

[1]
http://src.chromium.org/viewvc/blink/trunk/Source/core/events/EventTypeNames.in
[2] http://trac.webkit.org/browser/trunk/Source/WebCore/dom/EventNames.h

-- 
You are receiving this mail because:
You are on the CC list for the bug.
Received on Tuesday, 7 January 2014 23:30:16 UTC

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