Issue #3376201: Remove top pager

Mike Herchel requested to merge issue/project_browser-3376201:3376201-remove-top-pager into 1.0.x Jul 21, 2023