--- a/dwt/widgets/Slider.d	Wed Aug 27 14:10:03 2008 +0200
+++ b/dwt/widgets/Slider.d	Wed Aug 27 14:30:35 2008 +0200
@@ -158,10 +158,10 @@
     checkWidget();
     int width = 0, height = 0;
     if ((style & DWT.HORIZONTAL) !is 0) {
-        height = (int)NSScroller.scrollerWidth();
+        height = cast(int)NSScroller.scrollerWidth();
         width = height * 10;
     } else {
-        width = (int)NSScroller.scrollerWidth();
+        width = cast(int)NSScroller.scrollerWidth();
         height = width * 10;
     }
     if (wHint !is DWT.DEFAULT) width = wHint;
@@ -170,7 +170,7 @@
 }
 
 void createHandle () {
-    NSScroller widget = (NSScroller)new SWTScroller().alloc();
+    NSScroller widget = cast(NSScroller)new SWTScroller().alloc();
     NSRect rect = new NSRect();
     if ((style & DWT.HORIZONTAL) !is 0) {
         rect.width = 1;
@@ -269,9 +269,9 @@
  */
 public int getSelection () {
     checkWidget();
-    NSScroller widget = (NSScroller)view;
+    NSScroller widget = cast(NSScroller)view;
     float value = widget.floatValue();
-    return (int)((maximum - thumb - minimum) * value + minimum);
+    return cast(int)((maximum - thumb - minimum) * value + minimum);
 }
 
 /**
@@ -317,7 +317,7 @@
 
 void sendSelection () {
     Event event = new Event();
-    int hitPart = ((NSScroller)view).hitPart();
+    int hitPart = (cast(NSScroller)view).hitPart();
     int value = getSelection ();
     switch (hitPart) {
         case OS.NSScrollerDecrementLine:
@@ -452,10 +452,10 @@
 }
 
 void updateBar(int selection, int minimum, int maximum, int thumb) {
-    NSScroller widget = (NSScroller)view;
+    NSScroller widget = cast(NSScroller)view;
     selection = Math.max(minimum, Math.min(maximum - thumb, selection));
-    float fraction = minimum is maximum ? 1 : (float)(selection - minimum) / (maximum - thumb - minimum);
-    float knob = minimum is maximum ? 1 : (float)(thumb - minimum) / (maximum - minimum);
+    float fraction = minimum is maximum ? 1 : cast(float)(selection - minimum) / (maximum - thumb - minimum);
+    float knob = minimum is maximum ? 1 : cast(float)(thumb - minimum) / (maximum - minimum);
     widget.setFloatValue(fraction, knob);
 }