- From: Olivier Thereaux via cvs-syncmail <cvsmail@w3.org>
- Date: Tue, 15 May 2007 06:06:47 +0000
- To: www-validator-cvs@w3.org
Update of /sources/public/2002/css-validator/org/w3c/css/values
In directory hutz:/tmp/cvs-serv19009/org/w3c/css/values
Modified Files:
ATSCColor.java CssColor.java CssColorCSS1.java
CssColorCSS2.java CssColorCSS21.java
Log Message:
obsoleting the warning on color strings mixed capitalization
Index: CssColorCSS21.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/values/CssColorCSS21.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- CssColorCSS21.java 14 Sep 2005 15:15:33 -0000 1.2
+++ CssColorCSS21.java 15 May 2007 06:06:45 -0000 1.3
@@ -58,11 +58,12 @@
throw new InvalidParamException("value", s, "color", ac);
}
}
+// 2007-05 - this warning on color string capitalization is plain silly,
+// commenting it out-- ot@w3.org
+// if(!s.equals(color)) {
+// ac.getFrame().addWarning("color.mixed-capitalization", s);
+// }
- // warning if the capitalization does not correspond to the standard one
- if(!s.equals(color)) {
- ac.getFrame().addWarning("color.mixed-capitalization", s);
- }
}
private int searchColor(int colorHash, int[] tableColorHash) {
Index: CssColorCSS2.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/values/CssColorCSS2.java,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -d -r1.9 -r1.10
--- CssColorCSS2.java 14 Sep 2005 15:15:33 -0000 1.9
+++ CssColorCSS2.java 15 May 2007 06:06:45 -0000 1.10
@@ -362,10 +362,12 @@
rgb = (RGB) obj;
} else if (obj instanceof String) {
color = (String) obj;
- if (!obj.equals(s)) {
- ac.getFrame().addWarning("color.mixed-capitalization",
- s);
- }
+// 2007-05 - this warning on color string capitalization is plain silly,
+// commenting it out-- ot@w3.org
+// if (!obj.equals(s)) {
+// ac.getFrame().addWarning("color.mixed-capitalization",
+// s);
+// }
}
return;
}
Index: CssColorCSS1.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/values/CssColorCSS1.java,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -d -r1.8 -r1.9
--- CssColorCSS1.java 14 Sep 2005 15:15:33 -0000 1.8
+++ CssColorCSS1.java 15 May 2007 06:06:45 -0000 1.9
@@ -362,10 +362,12 @@
rgb = (RGB) obj;
} else if (obj instanceof String) {
color = (String) obj;
- if (!obj.equals(s)) {
- ac.getFrame().addWarning("color.mixed-capitalization",
- s);
- }
+// 2007-05 - this warning on color string capitalization is plain silly,
+// commenting it out-- ot@w3.org
+// if (!obj.equals(s)) {
+// ac.getFrame().addWarning("color.mixed-capitalization",
+// s);
+// }
}
return;
}
Index: CssColor.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/values/CssColor.java,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -d -r1.11 -r1.12
--- CssColor.java 14 Sep 2005 15:15:33 -0000 1.11
+++ CssColor.java 15 May 2007 06:06:45 -0000 1.12
@@ -381,10 +381,12 @@
}
else if (obj instanceof String) {
color = (String) obj;
- if (!obj.equals(s)) {
- ac.getFrame().addWarning("color.mixed-capitalization",
- s);
- }
+// 2007-05 - this warning on color string capitalization is plain silly,
+// commenting it out-- ot@w3.org
+// if (!obj.equals(s)) {
+// ac.getFrame().addWarning("color.mixed-capitalization",
+// s);
+// }
}
return;
} else if (deprecatedColors.get(lower_s) != null) {
Index: ATSCColor.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/values/ATSCColor.java,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -d -r1.5 -r1.6
--- ATSCColor.java 14 Sep 2005 15:15:33 -0000 1.5
+++ ATSCColor.java 15 May 2007 06:06:45 -0000 1.6
@@ -420,10 +420,12 @@
rgb = (RGBATSC) obj;
} else if (obj instanceof String) {
color = (String) obj;
- if (!obj.equals(s)) {
- ac.getFrame().addWarning("color.mixed-capitalization",
- s);
- }
+// 2007-05 - this warning on color string capitalization is plain silly,
+// commenting it out-- ot@w3.org
+// if (!obj.equals(s)) {
+// ac.getFrame().addWarning("color.mixed-capitalization",
+// s);
+// }
}
return;
}
Received on Tuesday, 15 May 2007 06:06:49 UTC