new option Pager with number

[muellerto]

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]

Yep, PagerView is utterly broken whenever Pager is enabled (>= 1).

Can you open an issue for this bug?

EDIT: Forget about it. I already opened the issue.