Re: Update the pager automatically when the window height changes

[Jose E. Marchesi]

> Hi Bruno.
>
>> When you do
>>   .set pager yes
>>   .help
>> then reduce or increase the terminal window height, the pager outputs
>> too many / too few lines per page. To fix this, one needs a SIGWINCH
>> handler. This proposed patch does it: it causes the pager to "know"
>> about window size changes.
>>
>> libreadline also has a SIGWINCH handler, but it knows how to not
>> interfere with the main program's SIGWINCH handler (cf. rl_catch_sigwinch
>> in the readline sources).
>
> Very nice stuff, thank you :)
> OK for both master and maint/poke-2.

Same thing: please install it in master only.
The pager is not in maint/poke-2.