diff dwt/dwthelper/System.d @ 128:07399639c0c8

Added DWT extension to dwt.widgets.MessageBox
author Jacob Carlborg <doob@me.com>
date Sat, 17 Jan 2009 16:26:49 +0100
parents 38807a925e24
children 623ff6db5f1d
line wrap: on
line diff
--- a/dwt/dwthelper/System.d	Fri Jan 16 23:36:08 2009 +0100
+++ b/dwt/dwthelper/System.d	Sat Jan 17 16:26:49 2009 +0100
@@ -21,8 +21,6 @@
 import tango.sys.Environment;
 import tango.time.Clock;
 
-import dwt.dwthelper.utils;
-
 template SimpleType(T) {
     debug{
         static void validCheck(uint SrcLen, uint DestLen, uint copyLen){
@@ -175,15 +173,15 @@
         return (*cast(Object *)&x).toHash();
     }
 
-    public static String getProperty( String key, String defval ){
-        String res = getProperty(key);
+    public static char[] getProperty( char[] key, char[] defval ){
+        char[] res = getProperty(key);
         if( res ){
             return res;
         }
         return defval;
     }
     
-    public static String getProperty( String key ){
+    public static char[] getProperty( char[] key ){
         /* get values for global system keys (environment) */
         switch( key ) {
                 // Ubuntu Gutsy:Environment.get for OSTYPE is not working
@@ -208,11 +206,11 @@
         }
         
         /* Get values for local dwt specific keys */
-        String* p;
+        char[]* p;
         return ((p = key in localProperties) != null) ? *p : null;
     }
     
-    public static void setProperty ( String key, String value ) {
+    public static void setProperty ( char[] key, char[] value ) {
         /* set property for LOCAL dwt keys */
         if (key !is null && value !is null)
             localProperties[ key ] = value;
@@ -221,5 +219,5 @@
     static Out out_;
     static Err err;
     
-    private static String[String] localProperties;
+    private static char[][char[]] localProperties;
 }