- From: <bugzilla@jessica.w3.org>
- Date: Sat, 11 Aug 2012 18:32:32 +0000
- To: public-css-bugzilla@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=18538
Summary: description problem about "change the preferred style
sheet set name" steps
Product: CSS
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: trivial
Priority: P2
Component: CSSOM
AssignedTo: glenn@skynav.com
ReportedBy: zhaojinjiang@yahoo.com.cn
QAContact: public-css-bugzilla@w3.org
The steps are described below:
1.Let the {preferred style sheet set name} be *current*.
2.Set {preferred style sheet set name} to *name*.
3.If *name* is not a case-sensitive match for *current* and {last style sheet
set name} is null {enable a style sheet set} with name *new*.
I think: step 1 should exchange {preferred style sheet set name} and *current*,
and the *new* in the end of step 3 should be *name.
Final description:
1.Let *current* be the {preferred style sheet set name}.
2.Set {preferred style sheet set name} to *name*.
3.If *name* is not a case-sensitive match for *current* and {last style sheet
set name} is null {enable a style sheet set} with name *name*.
--
Configure bugmail: https://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, 11 August 2012 18:32:35 UTC