Commit 2f0abe63d4d630583e2163779bd26aaad13e18ea | zig

This fixes the new search placeholder not disappearing if you type before
it finished loading, and maybe some other things.

2 files changed, 3 insertions(+), 1 deletions(-)

lib/docs/index.html+1-1

...	@@ -616,7 +616,7 @@	...	@@ -616,7 +616,7 @@
616	<section class="docs">	616	<section class="docs">
617	<div style="position: relative">	617	<div style="position: relative">
618	<span id="searchPlaceholder"><kbd>S</kbd> to search, <kbd>?</kbd> for more options</span>	618	<span id="searchPlaceholder"><kbd>S</kbd> to search, <kbd>?</kbd> for more options</span>
619	<input type="search" class="search" id="search" autocomplete="off" spellcheck="false">	619	<input type="search" class="search" id="search" autocomplete="off" spellcheck="false" disabled>
620	</div>	620	</div>
621	<p id="status">Loading...</p>	621	<p id="status">Loading...</p>
622	<div id="sectNav" class="hidden"><ul id="listNav"></ul></div>	622	<div id="sectNav" class="hidden"><ul id="listNav"></ul></div>

lib/docs/main.js+2

...	@@ -51,6 +51,8 @@ var zigAnalysis;	...	@@ -51,6 +51,8 @@ var zigAnalysis;
51	let domHelpModal = document.getElementById("helpModal");	51	let domHelpModal = document.getElementById("helpModal");
52	const domSearchPlaceholder = document.getElementById("searchPlaceholder");	52	const domSearchPlaceholder = document.getElementById("searchPlaceholder");
53		53
		54	domSearch.disabled = false;
		55
54	let searchTimer = null;	56	let searchTimer = null;
55		57
56	let escapeHtmlReplacements = {	58	let escapeHtmlReplacements = {