writer.addStatement("%s.add(%s, "
+ "new com.google.gwt.user.client.ui.HTML(\"%s\"), "
+ "%s);", fieldName,
childFieldName, html, size);
} else if (children.customHeader != null) {
XMLElement headerElement =
children.customHeader.consumeSingleChildElement();
String size = children.customHeader.consumeRequiredDoubleAttribute("size");
if (!writer.isWidgetElement(headerElement)) {
writer.die("In %s of %s, %s is not a widget", children.customHeader,
stackElem, headerElement);