--- a/dwt/widgets/TabItem.d	Wed Aug 27 14:10:03 2008 +0200
+++ b/dwt/widgets/TabItem.d	Wed Aug 27 14:30:35 2008 +0200
@@ -152,12 +152,12 @@
         pt.y = window.screen ().frame ().height - pt.y;
         pt = parent.view.convertPoint_fromView_ (pt, null);
         pt = window.convertScreenToBase (pt);
-        result.x = (int) pt.x;
-        result.y = (int) pt.y;
+        result.x = cast(int) pt.x;
+        result.y = cast(int) pt.y;
         val = new NSValue (sizeValue);
         NSSize size = val.sizeValue ();
-        result.width = (int) size.width;
-        result.height = (int) size.height;
+        result.width = cast(int) size.width;
+        result.height = cast(int) size.height;
     }
     return result;
 }