[Bug 3015] Patch for CSS21 profile from command line

• From: <bugzilla@wiggum.w3.org>
• Date: Sun, 19 Mar 2006 06:21:22 +0000
• To: www-validator-cvs@w3.org
• CC:
• Message-Id: <E1FKrI2-0002w8-1z@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3015





------- Comment #1 from w3@cynode.org  2006-03-19 06:21 -------
For some reason the Bugzilla bugs when I want to add the patch attachment. So
here is the patch against org/w3c/css/css/StyleSheetCom.java :

--- StyleSheetCom.java  2006-03-19 07:07:43.000000000 +0100
+++ StyleSheetCom.java.new      2006-03-19 07:07:29.000000000 +0100
@@ -174,8 +174,10 @@
                        printAvailableFormat(new PrintWriter(System.err));
                } else if (argument.startsWith("@")) {
                    style.defaultmedium = argument;
-               } else if (argument.equals("css1") || argument.equals("css2")
-                          || argument.equals("css3") ||
+               } else if (argument.equals("css1") ||
+                          argument.equals("css2") ||
+                          argument.equals("css21") ||
+                          argument.equals("css3") ||
                           argument.equals("svg") ||
                           argument.equals("svgbasic") ||
                           argument.equals("svgtiny")) {

Received on Sunday, 19 March 2006 06:21:26 UTC