The buffer appears to be limited to around 1000 lines — less than with some other terminal emulators I've used and thus I often have to pipe the full output to a file or to the clipboard. Is there a built-in setting to display more?