Re: help exit

[<br...@ph...>]

Daniel J Sebald wrote:

> Eh, displaying multiple times isn't professional looking.  In some way, 
> we can think of the topic as a "header".  As you point out, we really 
> don't want to print it as part of the help text.  Rather, what would be 
> nice, if possible, is if the pager had it's own kind of header, e.g., at 
> the top of the terminal is the header in bold while the text scrolls 
> underneath it.  Is that possible?

No --- if only because we have no control over what the $PAGER chosen by 
the user might be.  IIRC we have our own fall-back pager implementation 
in which such things could be done, but I would have to strictly oppose 
any change that made gnuplot ignore $PAGER, or only work "properly" if 
$PAGER wasn't set.