W3C home > Mailing lists > Public > www-validator-cvs@w3.org > July 2005

2002/css-validator/org/w3c/css/table TableProperties.java,1.2,1.3

From: Yves Lafon via cvs-syncmail <cvsmail@w3.org>
Date: Tue, 12 Jul 2005 14:47:57 +0000
To: www-validator-cvs@w3.org
Message-Id: <E1DsM3B-0004cx-Tj@lionel-hutz.w3.org>

Update of /sources/public/2002/css-validator/org/w3c/css/table
In directory hutz:/tmp/cvs-serv17634/css/table

Modified Files:
	TableProperties.java 
Log Message:
Utf8 properties (Jean-Guilhem Rouel)

Index: TableProperties.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/table/TableProperties.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- TableProperties.java	8 Apr 2002 21:18:23 -0000	1.2
+++ TableProperties.java	12 Jul 2005 14:47:55 -0000	1.3
@@ -6,19 +6,19 @@
 // Please first read the full copyright statement in file COPYRIGHT.html
 package org.w3c.css.table;
 
-import java.util.Properties;
 import java.net.URL;
 
 import org.w3c.css.properties.CssProperty;
+import org.w3c.css.util.Utf8Properties;
 
 /**
  * @version $Revision$
  */
 public class TableProperties {
-  public static Properties properties;
+	public static Utf8Properties properties;
 
   public static String getString(CssProperty property, String prop) {
-    return properties.getProperty(property.getPropertyName()+"."+prop);
+		return properties.getProperty(property.getPropertyName() + "." + prop);
   }
 
   public static boolean getInheritance(CssProperty property) {
@@ -26,13 +26,15 @@
   }
   
   static {
-    properties = new Properties();
+		properties = new Utf8Properties();
     try {
-      URL url = TableProperties.class.getResource("TableDefault.properties");
+			URL url = TableProperties.class
+					.getResource("TableDefault.properties");
       properties.load(url.openStream());
     } catch (Exception e) {
-      System.err.println("org.w3c.css.table.TableProperties: couldn't load properties ");
-      System.err.println("  " + e.toString() );
+			System.err
+					.println("org.w3c.css.table.TableProperties: couldn't load properties ");
+			System.err.println("  " + e.toString());
     }
   }
 }
Received on Tuesday, 12 July 2005 14:48:02 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 12:54:48 GMT