how many lines of history should be saved so the user can scroll back to them ? concode_field_sep boolean cursorBlinking concode_elem_sep SwingTerminalDeviceConfiguration DEFAULT concode_elem_sep int blinkLengthInMilliSeconds concode_elem_sep int lineBufferScrollbackSize concode_elem_sep CursorStyle cursorStyle concode_elem_sep TextColor cursorColor concode_field_sep int getBlinkLengthInMilliSeconds concode_elem_sep boolean isCursorBlinking concode_elem_sep CursorStyle getCursorStyle concode_elem_sep SwingTerminalDeviceConfiguration withLineBufferScrollbackSize concode_elem_sep TextColor getCursorColor
int function ( ) { return lineBufferScrollbackSize ; }