> Lower limit (in lines) for OutputArea to be made scrollable. OutputAreas shorter than this are never scrolled.