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); } });