From 986745870f60d20ae8d3abd3cd117cea8207a3d7 Mon Sep 17 00:00:00 2001
From: "M. Krassowski" <5832902+krassowski@users.noreply.github.com>
Date: Fri, 16 Aug 2019 20:12:26 +0100
Subject: [PATCH] Increase the search debounce from 100ms to 500ms

---
 packages/documentsearch/src/searchoverlay.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/documentsearch/src/searchoverlay.tsx b/packages/documentsearch/src/searchoverlay.tsx
index 50d7c86795a8..50e509e7a453 100644
--- 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(