* the width below which the widget will close or -1 to disable.
*/
public void setWidgetSnapClosedSize(final PWidget child, final int snapClosedSize) {
assertIsChild(child);
if (getSnapClosedSize(child) != snapClosedSize) {
final Update update = new Update(getID());
update.put(PROPERTY.SNAP_CLOSED_SIZE, snapClosedSize);
update.put(PROPERTY.WIDGET, child.getID());
Txn.get().getTxnContext().save(update);
ensureWidgetInfo(child).snapClosedSize = snapClosedSize;
}
}