diff --git a/pedagogy/templates/pedagogy/guide.jinja b/pedagogy/templates/pedagogy/guide.jinja index 71dadec5..28a90175 100644 --- a/pedagogy/templates/pedagogy/guide.jinja +++ b/pedagogy/templates/pedagogy/guide.jinja @@ -16,7 +16,7 @@

{% endif %}

- +

@@ -118,6 +118,20 @@ return html + ""; } + var lastTypedLetter; + $("#search_input").on("keyup", function(){ + // Auto submit when user pauses it's typing + clearTimeout(lastTypedLetter); + lastTypedLetter = setTimeout(function (){ + $("#search_form").submit(); + }, 300); + }); + $("#search_input").on("change", function(e){ + // Don't send request when leaving the text area + // It has already been send by the keypress event + e.preventDefault(); + }); + // Auto fill from get arguments var urlParams = new URLSearchParams(window.location.search); if (urlParams.has("search"))