[trivial] adding pagination control to the file manager

One more on the list of #1740 adding a simple select to control the pagination of the file manager.

This should be no big deal.