From f355747a195080c915b68820eeef7bc368b1e19c Mon Sep 17 00:00:00 2001 From: Chris Thorn Date: Sat, 17 Jan 2015 16:14:14 -0800 Subject: [PATCH] Increase docs search box delay Increases the delay of the search box to 500ms after key up. I tried adding a three character minimum for setting the delay, but didn't find it very useful. Should close #20095 --- src/librustdoc/html/static/main.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index ba0dda8a9a0..f27f0cd70f4 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -635,7 +635,7 @@ $('.do-search').on('click', search); $('.search-input').on('keyup', function() { clearTimeout(keyUpTimeout); - keyUpTimeout = setTimeout(search, 100); + keyUpTimeout = setTimeout(search, 500); }); // Push and pop states are used to add search results to the browser