# HG changeset patch
# User Frank Benoit <benoit@tionex.de>
# Date 1207926589 -7200
# Node ID 6e885ae0ec04b86e6046caa1829cc7feaa4fa4d2
# Parent  8228b2ab09ef5633db14197506386a687f5870a0
Map.get fix

diff -r 8228b2ab09ef -r 6e885ae0ec04 dwtx/jface/resource/ImageRegistry.d
--- a/dwtx/jface/resource/ImageRegistry.d	Fri Apr 11 17:09:34 2008 +0200
+++ b/dwtx/jface/resource/ImageRegistry.d	Fri Apr 11 17:09:49 2008 +0200
@@ -327,7 +327,8 @@
     }
 
     private Entry getEntry(String key) {
-        return cast(Entry) getTable().get(key);
+        auto tbl = getTable();
+        return cast(Entry) ( tbl.containsKey(key) ? tbl.get(key) : null );
     }
 
     private void putEntry(String key, Entry entry) {