Backport PR jupyterlab#7034: Increase the search debounce from 100ms …

…to 500ms
meeseeksmachine · Aug 16, 2019 · bd5338e · bd5338e
1 parent 6ef8d76
commit bd5338e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/documentsearch/src/searchoverlay.tsx b/packages/documentsearch/src/searchoverlay.tsx
@@ -417,7 +417,7 @@ class SearchOverlay extends React.Component<
 
   private _debouncedStartSearch = new Debouncer(() => {
     this._executeSearch(true, this.state.searchText);
-  }, 100);
+  }, 500);
 }
 
 export function createSearchOverlay(