From a2b402c6902b69ea732077009e1c871def28d0c4 Mon Sep 17 00:00:00 2001 From: Zaid Abdulla Date: Fri, 19 Oct 2018 19:52:17 -0700 Subject: [PATCH] Add delay in all-parameters search --- client/components/all-parameters.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/client/components/all-parameters.js b/client/components/all-parameters.js index 3403299..f06fb91 100644 --- a/client/components/all-parameters.js +++ b/client/components/all-parameters.js @@ -18,6 +18,9 @@ const component = { placeholder: "Search parameters", oninput: e => { vnode.state.searchString = e.target.value; + e.redraw = false; + clearTimeout(vnode.state.timeout); + vnode.state.timeout = setTimeout(m.redraw, 500); } });