Is there a way to make the search (search module) results page use the "mini" pager? The default appears to be "full" pager.
All other pagers on the site (mostly generated using Views) have the "mini" pager. I would prefer to use the search module for searches because it works a lot faster than searching via Views / exposed filters.
Just to update that this issue has been fixed in 1.25. Please see https://github.com/backdrop/backdrop-issues/issues/6083