Widget BuildProgressTextBox()
{
HBox result = new HBox();
mProgressLabel = ControlBuilder.CreateSelectableLabel();
ControlPacker.PackProgressLabel(result, mProgressLabel);
return(AlignmentBuilder.TopBottomPadding(
result, AlignmentBuilder.SMALL_PADDING));
}