gap-system / gap / 12215

4%

push

travis-ci

cosmetic change for `PAGER_BUILTIN`

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.)

0 of 4 new or added lines in 1 file covered. (0.0%)

303071 of 353417 relevant lines covered (85.75%)

44296061.02 hits per line