I have set the scrollback limit to 20000 for the Default Profile:
However the scrolling only has 1000 lines. I verified by tiny python program writing 1200 lines to an output file and then cat
ing the file. only the first 960 were shown (I had some 40 lines of other stuff apparently).
What am I missing?