public void setWidgetMinSize ( Widget child , int minSize ) { assertIsChild ( child ) ; Splitter splitter = getAssociatedSplitter ( child ) ; // The splitter is null for the center element. if ( splitter != null ) { splitter . setMinSize ( minSize ) ; } }
Sets the minimum allowable size for the given widget .