Mercurial > projects > dwt-linux
annotate dwt/widgets/Sash.d @ 259:c0d810de7093
Update SWT 3.4M7 to 3.4
| author | Frank Benoit <benoit@tionex.de> |
|---|---|
| date | Sun, 29 Jun 2008 14:33:38 +0200 |
| parents | ce446666f5a2 |
| children |
| rev | line source |
|---|---|
|
113
1401263f71b0
renamed setCursor(Gtk..) to gtk_setCursor, so the public interface do not need a cast for passing null
Frank Benoit <benoit@tionex.de>
parents:
108
diff
changeset
|
1 /******************************************************************************* |
| 259 | 2 * Copyright (c) 2000, 2008 IBM Corporation and others. |
| 85 | 3 * All rights reserved. This program and the accompanying materials |
| 4 * are made available under the terms of the Eclipse Public License v1.0 | |
| 5 * which accompanies this distribution, and is available at | |
| 6 * http://www.eclipse.org/legal/epl-v10.html | |
| 7 * | |
| 8 * Contributors: | |
| 9 * IBM Corporation - initial API and implementation | |
| 108 | 10 * Port to the D programming language: |
| 11 * Frank Benoit <benoit@tionex.de> | |
| 85 | 12 *******************************************************************************/ |
| 13 module dwt.widgets.Sash; | |
| 14 | |
| 238 | 15 import dwt.dwthelper.utils; |
| 16 | |
| 85 | 17 |
| 18 | |
| 19 import dwt.DWT; | |
| 20 import dwt.DWTException; | |
| 21 import dwt.events.SelectionEvent; | |
| 22 import dwt.events.SelectionListener; | |
| 23 import dwt.graphics.Point; | |
| 24 import dwt.internal.gtk.OS; | |
| 25 | |
| 26 import dwt.widgets.Control; | |
| 27 import dwt.widgets.Composite; | |
| 28 import dwt.widgets.TypedListener; | |
| 29 import dwt.widgets.Event; | |
| 30 | |
| 31 import Math = tango.math.Math; | |
| 32 /** | |
| 33 * Instances of the receiver represent a selectable user interface object | |
| 34 * that allows the user to drag a rubber banded outline of the sash within | |
| 35 * the parent control. | |
| 36 * <dl> | |
| 37 * <dt><b>Styles:</b></dt> | |
| 38 * <dd>HORIZONTAL, VERTICAL, SMOOTH</dd> | |
| 39 * <dt><b>Events:</b></dt> | |
| 40 * <dd>Selection</dd> | |
| 41 * </dl> | |
| 42 * <p> | |
| 43 * Note: Only one of the styles HORIZONTAL and VERTICAL may be specified. | |
| 44 * </p><p> | |
| 45 * IMPORTANT: This class is intended to be subclassed <em>only</em> | |
| 46 * within the DWT implementation. | |
| 47 * </p> | |
| 259 | 48 * |
| 49 * @see <a href="http://www.eclipse.org/swt/snippets/#sash">Sash snippets</a> | |
| 50 * @see <a href="http://www.eclipse.org/swt/examples.php">DWT Example: ControlExample</a> | |
| 51 * @see <a href="http://www.eclipse.org/swt/">Sample code and further information</a> | |
| 85 | 52 */ |
| 53 public class Sash : Control { | |
|
150
f2e04420fd6c
reworked overrides and superclass aliases
Frank Benoit <benoit@tionex.de>
parents:
115
diff
changeset
|
54 |
|
f2e04420fd6c
reworked overrides and superclass aliases
Frank Benoit <benoit@tionex.de>
parents:
115
diff
changeset
|
55 alias Control.computeSize computeSize; |
|
f2e04420fd6c
reworked overrides and superclass aliases
Frank Benoit <benoit@tionex.de>
parents:
115
diff
changeset
|
56 alias Control.setCursor setCursor; |
|
f2e04420fd6c
reworked overrides and superclass aliases
Frank Benoit <benoit@tionex.de>
parents:
115
diff
changeset
|
57 |
| 85 | 58 bool dragging; |
| 59 int startX, startY, lastX, lastY; | |
| 60 GtkWidget* defaultCursor; | |
| 61 | |
| 62 private final static int INCREMENT = 1; | |
| 63 private final static int PAGE_INCREMENT = 9; | |
| 64 | |
| 65 /** | |
| 66 * Constructs a new instance of this class given its parent | |
| 67 * and a style value describing its behavior and appearance. | |
| 68 * <p> | |
| 69 * The style value is either one of the style constants defined in | |
| 70 * class <code>DWT</code> which is applicable to instances of this | |
| 71 * class, or must be built by <em>bitwise OR</em>'ing together | |
| 72 * (that is, using the <code>int</code> "|" operator) two or more | |
| 73 * of those <code>DWT</code> style constants. The class description | |
| 74 * lists the style constants that are applicable to the class. | |
| 75 * Style bits are also inherited from superclasses. | |
| 76 * </p> | |
| 77 * | |
| 78 * @param parent a composite control which will be the parent of the new instance (cannot be null) | |
| 79 * @param style the style of control to construct | |
| 80 * | |
| 81 * @exception IllegalArgumentException <ul> | |
| 82 * <li>ERROR_NULL_ARGUMENT - if the parent is null</li> | |
| 83 * </ul> | |
| 84 * @exception DWTException <ul> | |
| 85 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the parent</li> | |
| 86 * <li>ERROR_INVALID_SUBCLASS - if this class is not an allowed subclass</li> | |
| 87 * </ul> | |
| 88 * | |
| 89 * @see DWT#HORIZONTAL | |
| 90 * @see DWT#VERTICAL | |
| 91 * @see Widget#checkSubclass | |
| 92 * @see Widget#getStyle | |
| 93 */ | |
| 94 public this (Composite parent, int style) { | |
| 95 super (parent, checkStyle (style)); | |
| 96 } | |
| 97 | |
| 98 /** | |
| 99 * Adds the listener to the collection of listeners who will | |
| 100 * be notified when the control is selected by the user, by sending | |
| 101 * it one of the messages defined in the <code>SelectionListener</code> | |
| 102 * interface. | |
| 103 * <p> | |
| 104 * When <code>widgetSelected</code> is called, the x, y, width, and height fields of the event object are valid. | |
| 105 * If the receiver is being dragged, the event object detail field contains the value <code>DWT.DRAG</code>. | |
| 106 * <code>widgetDefaultSelected</code> is not called. | |
| 107 * </p> | |
| 108 * | |
| 109 * @param listener the listener which should be notified when the control is selected by the user | |
| 110 * | |
| 111 * @exception IllegalArgumentException <ul> | |
| 112 * <li>ERROR_NULL_ARGUMENT - if the listener is null</li> | |
| 113 * </ul> | |
| 114 * @exception DWTException <ul> | |
| 115 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> | |
| 116 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> | |
| 117 * </ul> | |
| 118 * | |
| 119 * @see SelectionListener | |
| 120 * @see #removeSelectionListener | |
| 121 * @see SelectionEvent | |
| 122 */ | |
| 123 public void addSelectionListener (SelectionListener listener) { | |
| 124 checkWidget (); | |
| 125 if (listener is null) error (DWT.ERROR_NULL_ARGUMENT); | |
| 126 TypedListener typedListener = new TypedListener (listener); | |
| 127 addListener (DWT.Selection,typedListener); | |
| 128 addListener (DWT.DefaultSelection,typedListener); | |
| 129 } | |
| 130 | |
| 131 static int checkStyle (int style) { | |
| 132 return checkBits (style, DWT.HORIZONTAL, DWT.VERTICAL, 0, 0, 0, 0); | |
| 133 } | |
| 134 | |
|
150
f2e04420fd6c
reworked overrides and superclass aliases
Frank Benoit <benoit@tionex.de>
parents:
115
diff
changeset
|
135 public override Point computeSize (int wHint, int hHint, bool changed) { |
| 85 | 136 checkWidget (); |
| 137 if (wHint !is DWT.DEFAULT && wHint < 0) wHint = 0; | |
| 138 if (hHint !is DWT.DEFAULT && hHint < 0) hHint = 0; | |
| 139 int border = getBorderWidth (); | |
| 140 int width = border * 2, height = border * 2; | |
| 141 if ((style & DWT.HORIZONTAL) !is 0) { | |
| 142 width += DEFAULT_WIDTH; height += 3; | |
| 143 } else { | |
| 144 width += 3; height += DEFAULT_HEIGHT; | |
| 145 } | |
| 146 if (wHint !is DWT.DEFAULT) width = wHint + (border * 2); | |
| 147 if (hHint !is DWT.DEFAULT) height = hHint + (border * 2); | |
| 148 return new Point (width, height); | |
| 149 } | |
| 150 | |
|
152
17f8449522fd
overloads second walkthrough
Frank Benoit <benoit@tionex.de>
parents:
150
diff
changeset
|
151 override void createHandle (int index) { |
| 85 | 152 state |= HANDLE | THEME_BACKGROUND; |
| 153 handle = cast(GtkWidget*)OS.g_object_new (display.gtk_fixed_get_type (), null); | |
| 154 if (handle is null) error (DWT.ERROR_NO_HANDLES); | |
| 155 OS.gtk_fixed_set_has_window (handle, true); | |
| 156 OS.GTK_WIDGET_SET_FLAGS (handle, OS.GTK_CAN_FOCUS); | |
| 157 int type = (style & DWT.VERTICAL) !is 0 ? OS.GDK_SB_H_DOUBLE_ARROW : OS.GDK_SB_V_DOUBLE_ARROW; | |
| 158 defaultCursor = cast(GtkWidget*)OS.gdk_cursor_new (type); | |
| 159 } | |
| 160 | |
| 161 void drawBand (int x, int y, int width, int height) { | |
| 162 if ((style & DWT.SMOOTH) !is 0) return; | |
| 163 auto window = OS.GTK_WIDGET_WINDOW (parent.paintHandle()); | |
| 164 if (window is null) return; | |
| 238 | 165 char [] bits = cast(String)[ cast(byte)-86, 85, -86, 85, -86, 85, -86, 85 ]; |
| 85 | 166 auto stipplePixmap = OS.gdk_bitmap_create_from_data (cast(GdkDrawable*)window, bits.ptr, 8, 8); |
| 167 auto gc = OS.gdk_gc_new (window); | |
| 168 auto colormap = OS.gdk_colormap_get_system(); | |
| 169 GdkColor color; | |
| 170 OS.gdk_color_white (colormap, &color); | |
| 171 OS.gdk_gc_set_foreground (gc, &color); | |
| 172 OS.gdk_gc_set_stipple (gc, stipplePixmap); | |
| 173 OS.gdk_gc_set_subwindow (gc, OS.GDK_INCLUDE_INFERIORS); | |
| 174 OS.gdk_gc_set_fill (gc, OS.GDK_STIPPLED); | |
| 175 OS.gdk_gc_set_function (gc, OS.GDK_XOR); | |
| 176 OS.gdk_draw_rectangle (window, gc, 1, x, y, width, height); | |
| 177 OS.g_object_unref (stipplePixmap); | |
| 178 OS.g_object_unref (gc); | |
| 179 } | |
| 180 | |
| 181 override int gtk_button_press_event (GtkWidget* widget, GdkEventButton* gdkEvent) { | |
| 182 auto result = super.gtk_button_press_event (widget, gdkEvent); | |
| 183 if (result !is 0) return result; | |
| 184 int button = gdkEvent.button; | |
| 185 if (button !is 1) return 0; | |
| 186 if (gdkEvent.type is OS.GDK_2BUTTON_PRESS) return 0; | |
| 187 if (gdkEvent.type is OS.GDK_3BUTTON_PRESS) return 0; | |
| 188 auto window = OS.GTK_WIDGET_WINDOW (widget); | |
| 189 int origin_x, origin_y; | |
| 190 OS.gdk_window_get_origin (window, &origin_x, &origin_y); | |
| 191 startX = cast(int) (gdkEvent.x_root - origin_x ); | |
| 192 startY = cast(int) (gdkEvent.y_root - origin_y ); | |
| 193 int x = OS.GTK_WIDGET_X (handle); | |
| 194 int y = OS.GTK_WIDGET_Y (handle); | |
| 195 int width = OS.GTK_WIDGET_WIDTH (handle); | |
| 196 int height = OS.GTK_WIDGET_HEIGHT (handle); | |
| 197 lastX = x; | |
| 198 lastY = y; | |
| 199 Event event = new Event (); | |
| 200 event.time = gdkEvent.time; | |
| 201 event.x = lastX; | |
| 202 event.y = lastY; | |
| 203 event.width = width; | |
| 204 event.height = height; | |
| 205 if ((style & DWT.SMOOTH) is 0) { | |
| 206 event.detail = DWT.DRAG; | |
| 207 } | |
| 240 | 208 if ((parent.style & DWT.MIRRORED) !is 0) event.x = parent.getClientWidth () - width - event.x; |
| 85 | 209 sendEvent (DWT.Selection, event); |
| 210 if (isDisposed ()) return 0; | |
| 211 if (event.doit) { | |
| 212 dragging = true; | |
| 213 lastX = event.x; | |
| 214 lastY = event.y; | |
| 240 | 215 if ((parent.style & DWT.MIRRORED) !is 0) lastX = parent.getClientWidth () - width - lastX; |
| 85 | 216 parent.update (true, (style & DWT.SMOOTH) is 0); |
| 240 | 217 drawBand (lastX, event.y, width, height); |
| 85 | 218 if ((style & DWT.SMOOTH) !is 0) { |
| 219 setBounds (event.x, event.y, width, height); | |
| 220 // widget could be disposed at this point | |
| 221 } | |
| 222 } | |
| 223 return result; | |
| 224 } | |
| 225 | |
| 226 override int gtk_button_release_event (GtkWidget* widget, GdkEventButton* gdkEvent) { | |
| 227 auto result = super.gtk_button_release_event (widget, gdkEvent); | |
| 228 if (result !is 0) return result; | |
| 229 int button = gdkEvent.button; | |
| 230 if (button !is 1) return 0; | |
| 231 if (!dragging) return 0; | |
| 232 dragging = false; | |
| 233 int width = OS.GTK_WIDGET_WIDTH (handle); | |
| 234 int height = OS.GTK_WIDGET_HEIGHT (handle); | |
| 235 Event event = new Event (); | |
| 236 event.time = gdkEvent.time; | |
| 237 event.x = lastX; | |
| 238 event.y = lastY; | |
| 239 event.width = width; | |
| 240 event.height = height; | |
| 241 drawBand (lastX, lastY, width, height); | |
| 240 | 242 if ((parent.style & DWT.MIRRORED) !is 0) event.x = parent.getClientWidth () - width - event.x; |
| 85 | 243 sendEvent (DWT.Selection, event); |
| 244 if (isDisposed ()) return result; | |
| 245 if (event.doit) { | |
| 246 if ((style & DWT.SMOOTH) !is 0) { | |
| 247 setBounds (event.x, event.y, width, height); | |
| 248 // widget could be disposed at this point | |
| 249 } | |
| 250 } | |
| 251 return result; | |
| 252 } | |
| 253 | |
| 254 override int gtk_focus_in_event (GtkWidget* widget, GdkEventFocus* event) { | |
| 255 auto result = super.gtk_focus_in_event (widget, event); | |
| 256 if (result !is 0) return result; | |
| 257 // widget could be disposed at this point | |
| 258 if (handle !is null) { | |
| 259 lastX = OS.GTK_WIDGET_X (handle); | |
| 260 lastY = OS.GTK_WIDGET_Y (handle); | |
| 261 } | |
| 262 return 0; | |
| 263 } | |
| 264 | |
| 265 override int gtk_key_press_event (GtkWidget* widget, GdkEventKey* gdkEvent) { | |
| 266 auto result = super.gtk_key_press_event (widget, gdkEvent); | |
| 267 if (result !is 0) return result; | |
| 268 int keyval = gdkEvent.keyval; | |
| 269 switch (keyval) { | |
| 270 case OS.GDK_Left: | |
| 271 case OS.GDK_Right: | |
| 272 case OS.GDK_Up: | |
| 273 case OS.GDK_Down: | |
| 274 int xChange = 0, yChange = 0; | |
| 275 int stepSize = PAGE_INCREMENT; | |
| 276 if ((gdkEvent.state & OS.GDK_CONTROL_MASK) !is 0) stepSize = INCREMENT; | |
| 277 if ((style & DWT.VERTICAL) !is 0) { | |
| 278 if (keyval is OS.GDK_Up || keyval is OS.GDK_Down) break; | |
| 279 xChange = keyval is OS.GDK_Left ? -stepSize : stepSize; | |
| 280 } else { | |
| 281 if (keyval is OS.GDK_Left ||keyval is OS.GDK_Right) break; | |
| 282 yChange = keyval is OS.GDK_Up ? -stepSize : stepSize; | |
| 283 } | |
| 284 | |
| 285 int width = OS.GTK_WIDGET_WIDTH (handle); | |
| 286 int height = OS.GTK_WIDGET_HEIGHT (handle); | |
| 287 int parentBorder = 0; | |
| 288 int parentWidth = OS.GTK_WIDGET_WIDTH (parent.handle); | |
| 289 int parentHeight = OS.GTK_WIDGET_HEIGHT (parent.handle); | |
| 290 int newX = lastX, newY = lastY; | |
| 291 if ((style & DWT.VERTICAL) !is 0) { | |
| 292 newX = Math.min (Math.max (0, lastX + xChange - parentBorder - startX), parentWidth - width); | |
| 293 } else { | |
| 294 newY = Math.min (Math.max (0, lastY + yChange - parentBorder - startY), parentHeight - height); | |
| 295 } | |
| 296 if (newX is lastX && newY is lastY) return result; | |
| 297 | |
| 298 /* Ensure that the pointer image does not change */ | |
| 299 auto window = OS.GTK_WIDGET_WINDOW (handle); | |
| 300 int grabMask = OS.GDK_POINTER_MOTION_MASK | OS.GDK_BUTTON_RELEASE_MASK; | |
| 301 auto gdkCursor = cursor !is null ? cursor.handle : cast(GdkCursor*)defaultCursor; | |
| 302 int ptrGrabResult = OS.gdk_pointer_grab (window, false, grabMask, window, gdkCursor, OS.GDK_CURRENT_TIME); | |
| 303 | |
| 304 /* The event must be sent because its doit flag is used. */ | |
| 305 Event event = new Event (); | |
| 306 event.time = gdkEvent.time; | |
| 307 event.x = newX; | |
| 308 event.y = newY; | |
| 309 event.width = width; | |
| 310 event.height = height; | |
| 240 | 311 if ((parent.style & DWT.MIRRORED) !is 0) event.x = parent.getClientWidth () - width - event.x; |
| 85 | 312 sendEvent (DWT.Selection, event); |
| 313 if (ptrGrabResult is OS.GDK_GRAB_SUCCESS) OS.gdk_pointer_ungrab (OS.GDK_CURRENT_TIME); | |
| 314 if (isDisposed ()) break; | |
| 315 | |
| 316 if (event.doit) { | |
| 317 lastX = event.x; | |
| 318 lastY = event.y; | |
| 240 | 319 if ((parent.style & DWT.MIRRORED) !is 0) lastX = parent.getClientWidth () - width - lastX; |
| 85 | 320 if ((style & DWT.SMOOTH) !is 0) { |
| 321 setBounds (event.x, event.y, width, height); | |
| 322 if (isDisposed ()) break; | |
| 323 } | |
| 324 int cursorX = event.x, cursorY = event.y; | |
| 325 if ((style & DWT.VERTICAL) !is 0) { | |
| 326 cursorY += height / 2; | |
| 327 } else { | |
| 328 cursorX += width / 2; | |
| 329 } | |
| 330 display.setCursorLocation (parent.toDisplay (cursorX, cursorY)); | |
| 331 } | |
| 332 break; | |
|
115
52b32f5cb1e0
many file checked for switch default
Frank Benoit <benoit@tionex.de>
parents:
113
diff
changeset
|
333 default: |
| 85 | 334 } |
| 335 | |
| 336 return result; | |
| 337 } | |
| 338 | |
| 339 override int gtk_motion_notify_event (GtkWidget* widget, GdkEventMotion* gdkEvent) { | |
| 340 auto result = super.gtk_motion_notify_event (widget, gdkEvent); | |
| 341 if (result !is 0) return result; | |
| 342 if (!dragging) return 0; | |
| 343 int eventX, eventY, eventState; | |
| 344 if (gdkEvent.is_hint !is 0) { | |
| 345 int pointer_x, pointer_y, mask; | |
| 346 OS.gdk_window_get_pointer (gdkEvent.window, &pointer_x, &pointer_y, &mask); | |
| 347 eventX = pointer_x ; | |
| 348 eventY = pointer_y ; | |
| 349 eventState = mask ; | |
| 350 } else { | |
| 351 int origin_x, origin_y; | |
| 352 OS.gdk_window_get_origin (gdkEvent.window, &origin_x, &origin_y); | |
| 353 eventX = cast(int) (gdkEvent.x_root - origin_x ); | |
| 354 eventY = cast(int) (gdkEvent.y_root - origin_y ); | |
| 355 eventState = gdkEvent.state; | |
| 356 } | |
| 357 if ((eventState & OS.GDK_BUTTON1_MASK) is 0) return 0; | |
| 358 int x = OS.GTK_WIDGET_X (handle); | |
| 359 int y = OS.GTK_WIDGET_Y (handle); | |
| 360 int width = OS.GTK_WIDGET_WIDTH (handle); | |
| 361 int height = OS.GTK_WIDGET_HEIGHT (handle); | |
| 362 int parentBorder = 0; | |
| 363 int parentWidth = OS.GTK_WIDGET_WIDTH (parent.handle); | |
| 364 int parentHeight = OS.GTK_WIDGET_HEIGHT (parent.handle); | |
| 365 int newX = lastX, newY = lastY; | |
| 366 if ((style & DWT.VERTICAL) !is 0) { | |
| 367 newX = Math.min (Math.max (0, eventX + x - startX - parentBorder), parentWidth - width); | |
| 368 } else { | |
| 369 newY = Math.min (Math.max (0, eventY + y - startY - parentBorder), parentHeight - height); | |
| 370 } | |
| 371 if (newX is lastX && newY is lastY) return 0; | |
| 372 drawBand (lastX, lastY, width, height); | |
| 373 | |
| 374 Event event = new Event (); | |
| 375 event.time = gdkEvent.time; | |
| 376 event.x = newX; | |
| 377 event.y = newY; | |
| 378 event.width = width; | |
| 379 event.height = height; | |
| 380 if ((style & DWT.SMOOTH) is 0) { | |
| 381 event.detail = DWT.DRAG; | |
| 382 } | |
| 240 | 383 if ((parent.style & DWT.MIRRORED) !is 0) event.x = parent.getClientWidth() - width - event.x; |
| 85 | 384 sendEvent (DWT.Selection, event); |
| 385 if (isDisposed ()) return 0; | |
| 386 if (event.doit) { | |
| 387 lastX = event.x; | |
| 388 lastY = event.y; | |
| 240 | 389 if ((parent.style & DWT.MIRRORED) !is 0) lastX = parent.getClientWidth () - width - lastX; |
| 85 | 390 } |
| 391 parent.update (true, (style & DWT.SMOOTH) is 0); | |
| 392 drawBand (lastX, lastY, width, height); | |
| 393 if ((style & DWT.SMOOTH) !is 0) { | |
| 240 | 394 setBounds (event.x, lastY, width, height); |
| 85 | 395 // widget could be disposed at this point |
| 396 } | |
| 397 return result; | |
| 398 } | |
| 399 | |
| 400 override int gtk_realize (GtkWidget* widget) { | |
|
113
1401263f71b0
renamed setCursor(Gtk..) to gtk_setCursor, so the public interface do not need a cast for passing null
Frank Benoit <benoit@tionex.de>
parents:
108
diff
changeset
|
401 gtk_setCursor (cursor !is null ? cursor.handle : null); |
| 85 | 402 return super.gtk_realize (widget); |
| 403 } | |
| 404 | |
|
152
17f8449522fd
overloads second walkthrough
Frank Benoit <benoit@tionex.de>
parents:
150
diff
changeset
|
405 override void hookEvents () { |
| 85 | 406 super.hookEvents (); |
| 407 OS.gtk_widget_add_events (handle, OS.GDK_POINTER_MOTION_HINT_MASK); | |
| 408 } | |
| 409 | |
|
152
17f8449522fd
overloads second walkthrough
Frank Benoit <benoit@tionex.de>
parents:
150
diff
changeset
|
410 override void releaseWidget () { |
| 85 | 411 super.releaseWidget (); |
| 412 if (defaultCursor !is null) OS.gdk_cursor_destroy (cast(GdkCursor*)defaultCursor); | |
| 413 defaultCursor = null; | |
| 414 } | |
| 415 | |
| 416 /** | |
| 417 * Removes the listener from the collection of listeners who will | |
| 418 * be notified when the control is selected by the user. | |
| 419 * | |
| 420 * @param listener the listener which should no longer be notified | |
| 421 * | |
| 422 * @exception IllegalArgumentException <ul> | |
| 423 * <li>ERROR_NULL_ARGUMENT - if the listener is null</li> | |
| 424 * </ul> | |
| 425 * @exception DWTException <ul> | |
| 426 * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> | |
| 427 * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> | |
| 428 * </ul> | |
| 429 * | |
| 430 * @see SelectionListener | |
| 431 * @see #addSelectionListener | |
| 432 */ | |
| 433 public void removeSelectionListener(SelectionListener listener) { | |
| 434 checkWidget(); | |
| 435 if (listener is null) error (DWT.ERROR_NULL_ARGUMENT); | |
| 436 if (eventTable is null) return; | |
| 437 eventTable.unhook (DWT.Selection, listener); | |
| 438 eventTable.unhook (DWT.DefaultSelection,listener); | |
| 439 } | |
| 440 | |
|
152
17f8449522fd
overloads second walkthrough
Frank Benoit <benoit@tionex.de>
parents:
150
diff
changeset
|
441 override void gtk_setCursor (GdkCursor* cursor) { |
|
113
1401263f71b0
renamed setCursor(Gtk..) to gtk_setCursor, so the public interface do not need a cast for passing null
Frank Benoit <benoit@tionex.de>
parents:
108
diff
changeset
|
442 super.gtk_setCursor (cursor !is null ? cursor : cast(GdkCursor*)defaultCursor); |
| 85 | 443 } |
| 444 | |
|
152
17f8449522fd
overloads second walkthrough
Frank Benoit <benoit@tionex.de>
parents:
150
diff
changeset
|
445 override int traversalCode (int key, GdkEventKey* event) { |
| 85 | 446 return 0; |
| 447 } | |
| 448 | |
| 449 } |