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.

> +static int volatile screen_lines = 25;
> +static int volatile screen_cols = 80;

I'm curious.  Whats the reason for marking these variables as volatile?