equal
deleted
inserted
replaced
605 /* A hidden widget has bottom == top or right == left, we need to make it |
605 /* A hidden widget has bottom == top or right == left, we need to make it |
606 * one less to fit in its new gap. */ |
606 * one less to fit in its new gap. */ |
607 if (right == w->widget[widget].left) w->widget[widget].right--; |
607 if (right == w->widget[widget].left) w->widget[widget].right--; |
608 if (bottom == w->widget[widget].top) w->widget[widget].bottom--; |
608 if (bottom == w->widget[widget].top) w->widget[widget].bottom--; |
609 |
609 |
|
610 if (w->widget[widget].left > w->widget[widget].right) w->widget[widget].right = w->widget[widget].left; |
|
611 if (w->widget[widget].top > w->widget[widget].bottom) w->widget[widget].bottom = w->widget[widget].top; |
|
612 |
610 w->width += delta_x; |
613 w->width += delta_x; |
611 w->height += delta_y; |
614 w->height += delta_y; |
612 w->resize.width += delta_x; |
615 w->resize.width += delta_x; |
613 w->resize.height += delta_y; |
616 w->resize.height += delta_y; |
614 } |
617 } |