if (copy_height) { XSetClipMask(XtDisplay(w),bp->pixmap_GC,None);
for (;;) { Dimension       copy_height;
FillTabVertical(Widget w,Pixmap pixmap,Dimension width,Dimension height){    XfeTabPart *		tp = _XfeTabPart(w);    XfeButtonPart *		bp = _XfeButtonPart(w);	Position			y;	Boolean				done = False;	Dimension			copy_height;	Dimension			max_y = _XfeHeight(w) - _XfeOffsetBottom(w);    if (_XfePixmapGood(tp->top_pixmap))      y = _XfeOffsetTop(w) + tp->top_height;    else      y = _XfeOffsetTop(w);	while(!done)	{		copy_height = height;		if ((y + copy_height) > max_y)		{			copy_height -= (y + copy_height - max_y);		}		if (copy_height)		{			XSetClipMask(XtDisplay(w),bp->pixmap_GC,None);			XCopyArea(XtDisplay(w),					  pixmap,					  _XfePrimitiveDrawable(w),					  bp->pixmap_GC,					  0,0,					  width,					  height,					  (_XfeWidth(w) - width) / 2,					  y);		}		done = (copy_height < height);		y += height;	}}