dot/putty-defaults: Hugely increase the scrollback size.

I chose 1000 back when memory was less plentiful than it is now.

I calculate:

	10,000 lines by
	   638 columns (6x13 on UHD+ display), by
	     8 bytes (four bytes Unicode, four attributes)

comes out as 48.5MB, which is trivial by modern standards.

diff --git a/dot/putty-defaults b/dot/putty-defaults
index 1a8a896..78a0a29 100644 (file)
--- a/dot/putty-defaults
+++ b/dot/putty-defaults
@@ -95,7 +95,7 @@ BellOverload=1
 BellOverloadN=5
 BellOverloadT=2000
 BellOverloadS=5000
-ScrollbackLines=1000
+ScrollbackLines=10000
 DECOriginMode=0
 AutoWrapMode=1
 LFImpliesCR=0