# HG changeset patch
# User Frank Benoit <benoit@tionex.de>
# Date 1203042475 -3600
# Node ID 20f31a1921ff93bcef95fc2990086b96a30a44a2
# Parent  9d4ccfe138212deebfc7d9937a9e91cc7c63d8fb# Parent  2640d1618770f95a8e612a39165e58e173657a66
merge

diff -r 9d4ccfe13821 -r 20f31a1921ff dwt/dwthelper/ResourceBundle.d
--- a/dwt/dwthelper/ResourceBundle.d	Fri Feb 15 03:26:58 2008 +0100
+++ b/dwt/dwthelper/ResourceBundle.d	Fri Feb 15 03:27:55 2008 +0100
@@ -101,6 +101,10 @@
         }
     }
 
+    public bool hasString( char[] key ){
+        return ( key in map ) !is null;
+    }
+
     public char[] getString( char[] key ){
         if( auto v = key in map ){
             return (*v).dup;