324 Control [] children = new Control [count]; |
324 Control [] children = new Control [count]; |
325 int childControls = 0; |
325 int childControls = 0; |
326 for(int i = 0; i < count; ++i) { |
326 for(int i = 0; i < count; ++i) { |
327 int handle = list[i]; |
327 int handle = list[i]; |
328 if (handle != 0) { |
328 if (handle != 0) { |
329 Widget widget = display.getWidget (handle); |
329 Widget widget = Display.getWidget (handle); |
330 if (widget != null && widget != this) { |
330 if (widget != null && widget != this) { |
331 if (widget instanceof Control && !(widget instanceof Shell)) { |
331 if (widget instanceof Control && !(widget instanceof Shell)) { |
332 children [childControls++] = (Control) widget; |
332 children [childControls++] = (Control) widget; |
333 } |
333 } |
334 } |
334 } |
517 // appear stationary in the emulated mirrored coordinate system. |
517 // appear stationary in the emulated mirrored coordinate system. |
518 final int dx = width - oldWidth; |
518 final int dx = width - oldWidth; |
519 if(dx != 0) { |
519 if(dx != 0) { |
520 Control[] children =_getChildren(); |
520 Control[] children =_getChildren(); |
521 try { |
521 try { |
522 display.blockedQtEventType = OS.QSWTEVENT_WIDGETMOVED; |
522 Display.blockedQtEventType = OS.QSWTEVENT_WIDGETMOVED; |
523 for (int i = 0; i < children.length; ++i) { |
523 for (int i = 0; i < children.length; ++i) { |
524 Control child = children[i]; |
524 Control child = children[i]; |
525 if (!child.isDisposed()) { |
525 if (!child.isDisposed()) { |
526 final int childHandle = child.topHandle; |
526 final int childHandle = child.topHandle; |
527 Point pos = OS.QWidget_pos(childHandle); |
527 Point pos = OS.QWidget_pos(childHandle); |
528 OS.QWidget_move(childHandle, pos.x + dx, pos.y); |
528 OS.QWidget_move(childHandle, pos.x + dx, pos.y); |
529 } |
529 } |
530 } |
530 } |
531 } finally { |
531 } finally { |
532 display.blockedQtEventType = OS.QEVENT_NONE; |
532 Display.blockedQtEventType = OS.QEVENT_NONE; |
533 } |
533 } |
534 } |
534 } |
535 } |
535 } |
536 super.qt_swt_event_widgetResized_pp(widgetHandle, oldWidth, oldHeight, width, height); |
536 super.qt_swt_event_widgetResized_pp(widgetHandle, oldWidth, oldHeight, width, height); |
537 if (layout != null) { |
537 if (layout != null) { |