Previous: n-command Up: ../info.html Next: p-command
The "#" command can be used to alter the default page size for the INFO screen display. It is followed by a decimal digit string specifying the number of lines on the screen (e.g. #20); if the digit string is omitted, the page size will revert to its default value. On some hosts, RDINFO may be able to obtain your screen size from the operating system. Otherwise it will default to 22 lines. Since most terminal screens support 24 lines, the carriage return you type following your command line should still not cause the screen to scroll, although if you make many errors, it will. RDINFO assumes that all displays can show at least 72 characters per line; if the display cannot show this many, then if it can automatically wrap long lines, or the operating system can cause this to happen, the text should be readable. All INFO files are formatted to have up to 72 characters per line, so you are presently out of luck if your terminal cannot show that many properly. The display uses up to 4 lines for header lines, so a minimum of 5 lines are needed if text from the INFO file is to be displayed. If you try to specify fewer then 5 lines, the request will therefore be ignored. Similarly, it you try to specify a number larger than 255, RDINFO will assume you made a mistake, and ignore the request; otherwise the volume of data displayed would probably just scroll out of view anyway, and would not give you a chance to enter a new command until the display was complete. Unless you have a non-standard terminal screen size, it will usually be unnecessary to change the screen size. However, if you are using the "S" (search) command on a slow terminal, it will save time if you decrease the screen display size until you have located the section you are looking for.