--- a/dwt/widgets/Widget.d	Mon Dec 22 15:10:19 2008 +0100
+++ b/dwt/widgets/Widget.d	Tue Dec 23 00:35:24 2008 +0100
@@ -1308,11 +1308,11 @@
     if ((modifierFlags & OS.NSControlKeyMask) !is 0) event.stateMask |= DWT.CONTROL;
     if ((modifierFlags & OS.NSCommandKeyMask) !is 0) event.stateMask |= DWT.COMMAND;
     //TODO multiple mouse buttons pressed
-    switch (cast(int)/*64*/nsEvent.type()) {
+    switch (nsEvent.type()) {
         case OS.NSLeftMouseDragged:
         case OS.NSRightMouseDragged:
         case OS.NSOtherMouseDragged:
-            switch (cast(int)/*64*/nsEvent.buttonNumber()) {
+            switch (nsEvent.buttonNumber()) {
                 case 0: event.stateMask |= DWT.BUTTON1; break;
                 case 1: event.stateMask |= DWT.BUTTON3; break;
                 case 2: event.stateMask |= DWT.BUTTON2; break;
@@ -1330,6 +1330,7 @@
             if ((state & 0x8) !is 0) event.stateMask |= DWT.BUTTON4;
             if ((state & 0x10) !is 0) event.stateMask |= DWT.BUTTON5;
             break;
+        default:
     }
     switch (type) {
         case DWT.MouseDown:
@@ -1360,6 +1361,7 @@
             if (event.keyCode is DWT.CONTROL) event.stateMask |= DWT.CONTROL;
             if (event.keyCode is DWT.COMMAND) event.stateMask |= DWT.COMMAND;
             break;
+        default:
     }       
     return true;
 }