diff dwtx/text/edits/TextEdit.d @ 156:a9566845f1cb

...
author Frank Benoit <benoit@tionex.de>
date Mon, 25 Aug 2008 19:03:46 +0200
parents f70d9508c95c
children 7926b636c282
line wrap: on
line diff
--- a/dwtx/text/edits/TextEdit.d	Mon Aug 25 00:45:19 2008 +0200
+++ b/dwtx/text/edits/TextEdit.d	Mon Aug 25 19:03:46 2008 +0200
@@ -457,7 +457,7 @@
     public final TextEdit[] getChildren() {
         if (fChildren is null)
             return EMPTY_ARRAY;
-        return (TextEdit[])fChildren.toArray(new TextEdit[fChildren.size()]);
+        return arraycast!(TextEdit)(fChildren.toArray());
     }
 
     /**