Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
When the screen width is smaller than 76 then currently the footer line shown by `PAGER_BUILTIN` gets wrapped, with a trailing backslash. Other too long lines get wrapped without backslashes. ``` gap> SizeScreen( [ 75 ] );; gap> ?Size ... [50] RCWA (not loaded): Size for an rcwa group -- <space> page, <n> next line, <b> back, <p> back line, <q> quit -\ - ``` With the change proposed here, the footer line is treated like the other lines. (Note that `PAGER_BUILTIN` is not always called in GAP help requests. For example, one has to disable the pager from the Browse package.)
- Loading branch information