src/widget.cpp
changeset 9843 96b2f22e54da
parent 9834 7474149531c1
child 9892 8dc6b933e669
equal deleted inserted replaced
9842:b01db43ee0c6 9843:96b2f22e54da
   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 }