- 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