public void setPaneSizeMin ( int paneSizeMin ) { mPaneSizeMin = paneSizeMin ; if ( isMeasured ) { int newSplitterPosition = clamp ( mSplitterPosition , getMinSplitterPosition ( ) , getMaxSplitterPosition ( ) ) ; if ( newSplitterPosition != mSplitterPosition ) { setSplitterPosition ( newSplitterPosition ) ; } } }
Sets the minimum size of panes in pixels .