Open jason0x43 opened 6 years ago
At least, changing from docs to API, or changing doc sets, should cause the search pane to close and reset.
At least, changing from docs to API, or changing doc sets, should cause the search pane to close and reset.