Merge pull request #7034 from krassowski/patch-2

Increase the search debounce from 100ms to 500ms
jupyterlab · Aug 16, 2019 · d927bd4 · d927bd4
2 parents 7d0b052 + 9867458
commit d927bd4
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(