# HG changeset patch # User Jacob Carlborg # Date 1228490603 -3600 # Node ID 8615c76f10e436558b7d5c86f5619091e57405e6 # Parent cfa563df4fdd9c4ed39b9bcb5a114ba010954908 Updated dwt.widgets.Compisite to 3.514 diff -r cfa563df4fdd -r 8615c76f10e4 dwt/widgets/Composite.d --- a/dwt/widgets/Composite.d Fri Dec 05 16:00:41 2008 +0100 +++ b/dwt/widgets/Composite.d Fri Dec 05 16:23:23 2008 +0100 @@ -28,10 +28,11 @@ import dwt.internal.cocoa.OS; import dwt.internal.cocoa.SWTScrollView; import dwt.internal.cocoa.SWTView; -import dwt.internal.cocoa.id; +import cocoa = dwt.internal.cocoa.id; import dwt.dwthelper.utils; -import dwt.internal.cocoa.NSInteger; +import dwt.internal.c.Carbon; +import dwt.internal.objc.cocoa.Cocoa; import dwt.widgets.Control; import dwt.widgets.Decorations; import dwt.widgets.Display; @@ -125,7 +126,7 @@ int j = 0; for (int i=0; i 0 ? DWT.PAGE_UP : DWT.PAGE_DOWN; @@ -803,7 +804,7 @@ bar = horizontalBar; delta = nsEvent.deltaX (); if (delta !is 0 && bar !is null && bar.getEnabled ()) { - int selection = Math.max (0, (int)(0.5f + bar.getSelection () - bar.getIncrement () * delta)); + int selection = Math.max (0, cast(int)(0.5f + bar.getSelection () - bar.getIncrement () * delta)); bar.setSelection (selection); Event event = new Event (); event.detail = delta > 0 ? DWT.PAGE_UP : DWT.PAGE_DOWN; diff -r cfa563df4fdd -r 8615c76f10e4 dwt/widgets/Scrollable.d --- a/dwt/widgets/Scrollable.d Fri Dec 05 16:00:41 2008 +0100 +++ b/dwt/widgets/Scrollable.d Fri Dec 05 16:23:23 2008 +0100 @@ -89,7 +89,7 @@ super (parent, style); } -bool accessibilityIsIgnored(int /*long*/ id, int /*long*/ sel) { +bool accessibilityIsIgnored(objc.id id, objc.SEL sel) { // Always ignore scrollers. if (scrollView !is null && id is scrollView.id) return true; return super.accessibilityIsIgnored(id, sel);