perf: balance the debounce time properly

leanprover · Jan 4, 2024 · 7b23eaa · 7b23eaa
1 parent ed9a8cf
commit 7b23eaa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/static/search.js b/static/search.js
@@ -143,8 +143,8 @@ const debounce = (callback, wait) => {
   };
 }
 
-// The debounce delay for the search. 17 ms corresponds to approximately 60hz so the search feeling should be real time.
-const SEARCH_DEBOUNCE = 17;
+// The debounce delay for the search. 90 ms is below the noticable input lag for me
+const SEARCH_DEBOUNCE = 90;
 
 DeclarationDataCenter.init()
   .then((dataCenter) => {