layoutChildren();
}
+ /**
+ * Reset a child widget's original/preferred size.
+ *
+ * @param child the widget to manage
+ */
+ public void resetSize(final TWidget child) {
+ // NOP
+ }
+
// ------------------------------------------------------------------------
// BoxLayoutManager -------------------------------------------------------
// ------------------------------------------------------------------------