# HG changeset patch # User Kim F. Storm # Date 1153484539 0 # Node ID 2bad0076ec0866ccf79f72a90448c49f5ab49702 # Parent d06698815c23cbb31c13aa0b0a5c463206694331 (Terminal Output): Clarify text vs graphical terminal. diff -r d06698815c23 -r 2bad0076ec08 lispref/os.texi --- a/lispref/os.texi Fri Jul 21 12:22:11 2006 +0000 +++ b/lispref/os.texi Fri Jul 21 12:22:19 2006 +0000 @@ -1839,8 +1839,8 @@ padding. It also affects decisions about whether to scroll part of the -screen or repaint on non-window systems. @xref{Forcing Redisplay}, -for the corresponding functionality on window systems. +screen or repaint on text terminals. @xref{Forcing Redisplay}, +for the corresponding functionality on graphical terminals. The value is measured in baud. @end defvar