set_scroll_lines
Differences
This shows you the differences between two versions of the page.
| — | set_scroll_lines [2024/01/05 19:31] (current) – created - external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ======Synopsis: | ||
| + | [[set]] scroll_lines [< | ||
| + | |||
| + | ======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. | ||
| + | |||
