Editor hiding broke after adding the search panel. Fixes #664