new option Pager with number

[leo-arch]

Discussed in #326

^{Originally posted by muellerto January 30, 2025}
This is an interesting thing, the new Pager option with a number > 1. Checked this immediately :-)

In my opinion it would also be a good idea to use then the definition made in PagerView. In my case PagerView is short to get as much on the screen as possible. When I then set Pager=100 I get currently a long pager view.

Another idea would be to counterbore the Pager option with an additional specification like Pager=100,short.

[leo-arch]

Hey @muellerto, please give it a try now.

[muellerto]

Yeah, I love it. Exactly what you need when you have a lot of crap somewhere and you need an overview. This will reduce the use of the explicit pg command a lot in my case.

[leo-arch]

Great! Closing then.