/**
* Sets the minimum allowable size for the given widget.
*
* <p>Its associated splitter cannot be dragged to a position that would make it smaller than this
* size. This method has no effect for the {@link DockLayoutPanel.Direction#CENTER} widget.
*
* @param child the child whose minimum size will be set
* @param minSize the minimum size for this widget
*/
public void setWidgetMinSize(Widget child, int minSize) {
// assertIsChild(child);
assert (child == null) || (child.getParent() == this)
: "The specified widget is not a child of this panel";
Splitter splitter = getAssociatedSplitter(child);
// The splitter is null for the center element.
if (splitter != null) {
splitter.setMinSize(minSize);
}
}
