This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 10246 - Add "/* case-insensitive */" marker to selectors for [type=disc], [type=circle] and [type=square]
Summary: Add "/* case-insensitive */" marker to selectors for [type=disc], [type=circl...
Status: RESOLVED FIXED
Alias: None
Product: HTML WG
Classification: Unclassified
Component: pre-LC1 HTML5 spec (editor: Ian Hickson) (show other bugs)
Version: unspecified
Hardware: Other other
: P3 normal
Target Milestone: ---
Assignee: Ian 'Hixie' Hickson
QA Contact: HTML WG Bugzilla archive list
URL: http://www.whatwg.org/specs/web-apps/...
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-07-28 13:16 UTC by contributor
Modified: 2010-10-04 14:49 UTC (History)
5 users (show)

See Also:


Attachments

Description contributor 2010-07-28 13:16:48 UTC
Section: http://www.whatwg.org/specs/web-apps/current-work/#punctuation-and-decorations

Comment:
Add "/* case-insensitive */" marker to selectors for [type=disc],
[type=circle] and [type=square]

Posted from: 213.236.208.22
Comment 1 Ian 'Hixie' Hickson 2010-09-08 22:31:32 UTC
EDITOR'S RESPONSE: This is an Editor's Response to your comment. If you are satisfied with this response, please change the state of this bug to CLOSED. If you have additional information and would like the editor to reconsider, please reopen this bug. If you would like to escalate the issue to the full HTML Working Group, please add the TrackerRequest keyword to this bug, and suggest title and text for the tracker issue; or you may create a tracker issue yourself, if you are able to do so. For more details, see this document:
   http://dev.w3.org/html5/decision-policy/decision-policy.html

Status: Accepted
Change Description: see diff given in bug 10245
Rationale: Concurred with reporter's comments.