Search pane should hide in more situations #17
Description
At least, changing from docs to API, or changing doc sets, should cause the search pane to close and reset.
{{ message }}
At least, changing from docs to API, or changing doc sets, should cause the search pane to close and reset.