--- a/dwt/widgets/DateTime.d	Wed Aug 27 14:10:03 2008 +0200
+++ b/dwt/widgets/DateTime.d	Wed Aug 27 14:30:35 2008 +0200
@@ -137,13 +137,13 @@
 public Point computeSize (int wHint, int hHint, bool changed) {
     checkWidget ();
     int width = 0, height = 0;
-    NSControl widget = (NSControl)view;
+    NSControl widget = cast(NSControl)view;
     NSRect oldRect = widget.frame();
     widget.sizeToFit();
     NSRect newRect = widget.frame();
     widget.setFrame (oldRect);
-    width = (int)newRect.width;
-    height = (int)newRect.height;
+    width = cast(int)newRect.width;
+    height = cast(int)newRect.height;
     if (width is 0) width = DEFAULT_WIDTH;
     if (height is 0) height = DEFAULT_HEIGHT;
     if (wHint !is DWT.DEFAULT) width = wHint;
@@ -154,7 +154,7 @@
 }
 
 void createHandle () {
-    NSDatePicker widget = (NSDatePicker)new SWTDatePicker().alloc();
+    NSDatePicker widget = cast(NSDatePicker)new SWTDatePicker().alloc();
     widget.initWithFrame(new NSRect());
     int pickerStyle = OS.NSTextFieldAndStepperDatePickerStyle;
     int elementFlags = 0;
@@ -196,7 +196,7 @@
  */
 public int getDay () {
     checkWidget ();
-    NSDate date = ((NSDatePicker)view).dateValue();
+    NSDate date = (cast(NSDatePicker)view).dateValue();
     NSCalendarDate calendarDate = date.dateWithCalendarFormat(null, null);
     return calendarDate.dayOfMonth();
 }
@@ -216,7 +216,7 @@
  */
 public int getHours () {
     checkWidget ();
-    return new NSCalendarDate(((NSDatePicker)view).dateValue().id).hourOfDay();
+    return new NSCalendarDate((cast(NSDatePicker)view).dateValue().id).hourOfDay();
 }
 
 /**
@@ -234,7 +234,7 @@
  */
 public int getMinutes () {
     checkWidget ();
-    return new NSCalendarDate(((NSDatePicker)view).dateValue().id).minuteOfHour();
+    return new NSCalendarDate((cast(NSDatePicker)view).dateValue().id).minuteOfHour();
 }
 
 /**
@@ -252,7 +252,7 @@
  */
 public int getMonth () {
     checkWidget ();
-    return new NSCalendarDate(((NSDatePicker)view).dateValue().id).monthOfYear() - 1;
+    return new NSCalendarDate((cast(NSDatePicker)view).dateValue().id).monthOfYear() - 1;
 }
 
 String getNameText() {
@@ -275,7 +275,7 @@
  */
 public int getSeconds () {
     checkWidget ();
-    return new NSCalendarDate(((NSDatePicker)view).dateValue().id).secondOfMinute();
+    return new NSCalendarDate((cast(NSDatePicker)view).dateValue().id).secondOfMinute();
 }
 
 /**
@@ -293,7 +293,7 @@
  */
 public int getYear () {
     checkWidget ();
-    return new NSCalendarDate(((NSDatePicker)view).dateValue().id).yearOfCommonEra();
+    return new NSCalendarDate((cast(NSDatePicker)view).dateValue().id).yearOfCommonEra();
 }
 
 /**
@@ -332,7 +332,7 @@
     } else {
         nsColor = NSColor.colorWithDeviceRed(color[0], color[1], color[2], 1);
     }
-    ((NSDatePicker)view).setBackgroundColor(nsColor);
+    (cast(NSDatePicker)view).setBackgroundColor(nsColor);
 }
 
 /**
@@ -355,11 +355,11 @@
  */
 public void setDate (int year, int month, int day) {
     checkWidget ();
-    NSCalendarDate date = new NSCalendarDate(((NSDatePicker)view).dateValue().id);
+    NSCalendarDate date = new NSCalendarDate((cast(NSDatePicker)view).dateValue().id);
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(year, month + 1, day,
             date.hourOfDay(), date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
     if (newDate.yearOfCommonEra() is year && newDate.monthOfYear() is month + 1 && newDate.dayOfMonth() is day) {
-        ((NSDatePicker)view).setDateValue(newDate);
+        (cast(NSDatePicker)view).setDateValue(newDate);
     }
 }
 
@@ -378,11 +378,11 @@
  */
 public void setDay (int day) {
     checkWidget ();
-    NSCalendarDate date = new NSCalendarDate(((NSDatePicker)view).dateValue().id);
+    NSCalendarDate date = new NSCalendarDate((cast(NSDatePicker)view).dateValue().id);
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(date.yearOfCommonEra(), date.monthOfYear(), day,
             date.hourOfDay(), date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
     if (newDate.yearOfCommonEra() is date.yearOfCommonEra() && newDate.monthOfYear() is date.monthOfYear() && newDate.dayOfMonth() is day) {
-        ((NSDatePicker)view).setDateValue(newDate);
+        (cast(NSDatePicker)view).setDateValue(newDate);
     }
 }
 
@@ -393,7 +393,7 @@
     } else {
         nsColor = NSColor.colorWithDeviceRed(color[0], color[1], color[2], 1);
     }
-    ((NSDatePicker)view).setTextColor(nsColor);
+    (cast(NSDatePicker)view).setTextColor(nsColor);
 }
 
 /**
@@ -412,10 +412,10 @@
 public void setHours (int hours) {
     checkWidget ();
     if (hours < 0 || hours > 23) return;
-    NSCalendarDate date = new NSCalendarDate(((NSDatePicker)view).dateValue().id);
+    NSCalendarDate date = new NSCalendarDate((cast(NSDatePicker)view).dateValue().id);
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(date.yearOfCommonEra(), date.monthOfYear(), date.dayOfMonth(),
             hours, date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
-    ((NSDatePicker)view).setDateValue(newDate);
+    (cast(NSDatePicker)view).setDateValue(newDate);
 }
 
 /**
@@ -434,10 +434,10 @@
 public void setMinutes (int minutes) {
     checkWidget ();
     if (minutes < 0 || minutes > 59) return;
-    NSCalendarDate date = new NSCalendarDate(((NSDatePicker)view).dateValue().id);
+    NSCalendarDate date = new NSCalendarDate((cast(NSDatePicker)view).dateValue().id);
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(date.yearOfCommonEra(), date.monthOfYear(), date.dayOfMonth(),
             date.hourOfDay(), minutes, date.secondOfMinute(), date.timeZone());
-    ((NSDatePicker)view).setDateValue(newDate);
+    (cast(NSDatePicker)view).setDateValue(newDate);
 }
 
 /**
@@ -455,11 +455,11 @@
  */
 public void setMonth (int month) {
     checkWidget ();
-    NSCalendarDate date = new NSCalendarDate(((NSDatePicker)view).dateValue().id);
+    NSCalendarDate date = new NSCalendarDate((cast(NSDatePicker)view).dateValue().id);
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(date.yearOfCommonEra(), month + 1, date.dayOfMonth(),
             date.hourOfDay(), date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
     if (newDate.yearOfCommonEra() is date.yearOfCommonEra() && newDate.monthOfYear() is month + 1 && newDate.dayOfMonth() is date.dayOfMonth()) {
-        ((NSDatePicker)view).setDateValue(newDate);
+        (cast(NSDatePicker)view).setDateValue(newDate);
     }
 }
 
@@ -479,10 +479,10 @@
 public void setSeconds (int seconds) {
     checkWidget ();
     if (seconds < 0 || seconds > 59) return;
-    NSCalendarDate date = new NSCalendarDate(((NSDatePicker)view).dateValue().id);
+    NSCalendarDate date = new NSCalendarDate((cast(NSDatePicker)view).dateValue().id);
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(date.yearOfCommonEra(), date.monthOfYear(), date.dayOfMonth(),
             date.hourOfDay(), date.minuteOfHour(), seconds, date.timeZone());
-    ((NSDatePicker)view).setDateValue(newDate);
+    (cast(NSDatePicker)view).setDateValue(newDate);
 }
 
 /**
@@ -502,10 +502,10 @@
 public void setTime (int hours, int minutes, int seconds) {
     checkWidget ();
     if (hours < 0 || hours > 23 || minutes < 0 || minutes > 59 || seconds < 0 || seconds > 59) return;
-    NSCalendarDate date = new NSCalendarDate(((NSDatePicker)view).dateValue().id);
+    NSCalendarDate date = new NSCalendarDate((cast(NSDatePicker)view).dateValue().id);
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(date.yearOfCommonEra(), date.monthOfYear(), date.dayOfMonth(),
             hours, minutes, seconds, date.timeZone());
-    ((NSDatePicker)view).setDateValue(newDate);
+    (cast(NSDatePicker)view).setDateValue(newDate);
 }
 
 /**
@@ -523,11 +523,11 @@
  */
 public void setYear (int year) {
     checkWidget ();
-    NSCalendarDate date = new NSCalendarDate(((NSDatePicker)view).dateValue().id);
+    NSCalendarDate date = new NSCalendarDate((cast(NSDatePicker)view).dateValue().id);
     NSCalendarDate newDate = NSCalendarDate.dateWithYear(year, date.monthOfYear(), date.dayOfMonth(),
             date.hourOfDay(), date.minuteOfHour(), date.secondOfMinute(), date.timeZone());
     if (newDate.yearOfCommonEra() is year && newDate.monthOfYear() is date.monthOfYear() && newDate.dayOfMonth() is date.dayOfMonth()) {
-        ((NSDatePicker)view).setDateValue(newDate);
+        (cast(NSDatePicker)view).setDateValue(newDate);
     }
 }
 }