comparison dwt/widgets/Scale.d @ 46:cfa563df4fdd

Updated Widget and Display to 3.514
author Jacob Carlborg <doob@me.com>
date Fri, 05 Dec 2008 16:00:41 +0100
parents d8635bb48c7c
children 1926e6c4bf87
comparison
equal deleted inserted replaced
45:d8635bb48c7c 46:cfa563df4fdd
134 return new Point (width, height); 134 return new Point (width, height);
135 } 135 }
136 136
137 void createHandle () { 137 void createHandle () {
138 NSSlider widget = cast(NSSlider)new SWTSlider().alloc(); 138 NSSlider widget = cast(NSSlider)new SWTSlider().alloc();
139 NSRect rect = new NSRect(); 139 NSRect rect = NSRect();
140 rect.width = 1; 140 rect.width = 1;
141 rect.height = 1; 141 rect.height = 1;
142 widget.initWithFrame(rect); 142 widget.initWithFrame(rect);
143 widget.setMaxValue(100); 143 widget.setMaxValue(100);
144 view = widget; 144 view = widget;