Synopsis:

set scroll_lines [<number>]

Description:

When output occurs to a window that is full, the window needs to be scrolled upwards to make room. This controls how many blank lines are inserted at the bottom of the window to make room. The default is 1, which is the only reasonable value.

This setting is from the days when we used to use 1200bps hard terminals. It solves a problem we don't have any more.