Fixes #5013: add quicksearch back in top right corner
Merge pull request #546 from VinceMacBuche/bug_5013/quicksearch_top_right_corner

Fixes #5013: add quicksearch back in top right corner