Fixes #5013: add quicksearch back in top right corner