Loading...
diff --git a/lib/docs/main.js b/lib/docs/main.js index ebbae537142f7c999350cdd8ce5cd78d1fa21081..dee8c8a611bd4dbb479634beb833a111673d0696 100644 --- a/lib/docs/main.js +++ b/lib/docs/main.js @@ -51,6 +51,8 @@ var zigAnalysis; let domHelpModal = document.getElementById("helpModal"); const domSearchPlaceholder = document.getElementById("searchPlaceholder"); + domSearch.disabled = false; + let searchTimer = null; let escapeHtmlReplacements = {