Merge branch 'master' of github.com:bvaughn/react-devtools-experimental

This commit is contained in:
Brian Vaughn
2019-04-18 18:13:43 -07:00
@@ -353,10 +353,6 @@ function reduceSearchState(store: Store, state: State, action: Action): State {
}
}
if (searchIndex !== prevSearchIndex) {
// The user intentionally navigated between search results
didRequestSearch = true;
}
if (searchText !== prevSearchText) {
const newSearchIndex = searchResults.indexOf(selectedElementID);
if (newSearchIndex === -1) {