| 636 height = cheight; |
636 height = cheight; |
| 637 } else { |
637 } else { |
| 638 height = r.size - w->mywidget.rowspacing; |
638 height = r.size - w->mywidget.rowspacing; |
| 639 } |
639 } |
| 640 } |
640 } |
| 641 |
641 |
| 642 if(width > 0 && height > 0) { |
642 if(width > 0 && height > 0) { |
| 643 XtConfigureWidget(child, x, y, width, height, child->core.border_width); |
643 XtConfigureWidget(child, x, y, width, height, child->core.border_width); |
| 644 } |
644 } |
| 645 //printf("child %d %d - %d %d\n", (int)child->core.x, (int)child->core.y, (int)child->core.width, (int)child->core.height); |
645 //printf("child %d %d - %d %d\n", (int)child->core.x, (int)child->core.y, (int)child->core.width, (int)child->core.height); |
| 646 } |
646 } |