Correct default lines of scrollback in the docs.

The default was increased in fd266a3 (just before 0.63).

diff --git a/doc/using.but b/doc/using.but
index 4df5c383d7ae4807acda3442c835ff82b2bb49fa..4d10a24eb8b70805df4cd18870d033ada650cdbf 100644 (file)
--- a/doc/using.but
+++ b/doc/using.but
@@ -89,7 +89,7 @@ and down by pressing \i{Shift-PgUp} and \i{Shift-PgDn}. You can
 scroll a line at a time using \i{Ctrl-PgUp} and \i{Ctrl-PgDn}. These
 are still available if you configure the scrollbar to be invisible.
 
-By default the last 200 lines scrolled off the top are
+By default the last 2000 lines scrolled off the top are
 preserved for you to look at. You can increase (or decrease) this
 value using the configuration box; see \k{config-scrollback}.