- From: <bugzilla@jessica.w3.org>
- Date: Wed, 26 Jun 2013 15:09:14 +0000
- To: public-css-bugzilla@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=22478
Bug ID: 22478
Summary: Handle the case where media=""/title="" is changed
while the stylesheet is being fetched/parsed.
Classification: Unclassified
Product: CSS
Version: unspecified
Hardware: PC
OS: All
Status: NEW
Severity: normal
Priority: P2
Component: CSSOM
Assignee: glenn@skynav.com
Reporter: simonp@opera.com
QA Contact: public-css-bugzilla@w3.org
http://dev.w3.org/csswg/cssom/#css-style-sheets
[[
If this property is specified to an attribute of the owner node, the media must
be set to the return value of invoking create a MediaList object steps for the
value of that attribute. Whenever the attribute is set, changed or removed, the
media's mediaText attribute must be set to the new value of the attribute, or
to null if the attribute is absent.
]]
Handle the case where media=""/title="" is changed while the stylesheet is
being fetched/parsed. See
https://www.w3.org/Bugs/Public/show_bug.cgi?id=14703#c18
--
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Wednesday, 26 June 2013 15:09:19 UTC