- From: <bugzilla@jessica.w3.org>
- Date: Sat, 30 Apr 2011 11:45:15 +0000
- To: public-html-bugzilla@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=12379
Michael(tm) Smith <mike@w3.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #1 from Michael(tm) Smith <mike@w3.org> 2011-04-30 11:45:14 UTC ---
Sorry for having taken so long to get around to fixing this, but I just now
checked in a change:
http://dev.w3.org/cvsweb/html5/markup/tools/css2xml.diff?r1=1.10;r2=1.11;f=h
That completely suppresses the "Typical default display properties" section for
meter and progress altogether -- because (as I understand it at least) they are
replaced elements, so their default CSS properties don't really tell you much
at all about how they are actually displayed.
There were some instances of other -webkit-* properties in the draft, so I
tweaked my script to remove or replace all those.
(And note that the reason the content of the "Typical default display
properties" sections has -webkit-* stuff in it to begin with is that it's
generated by processing the default WebKit user-agent stylesheet.)
If you're satisfied with the changes, please move the status of this bug to
Closed; if you're not satisfied, please re-open it with a comment.
--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Saturday, 30 April 2011 11:45:17 UTC