-
+
+ S to search, ? for more options
+
+
Loading...
diff --git a/lib/docs/main.js b/lib/docs/main.js
index 55546ce056..ebbae53714 100644
--- a/lib/docs/main.js
+++ b/lib/docs/main.js
@@ -49,6 +49,7 @@ var zigAnalysis;
let domTdZigVer = document.getElementById("tdZigVer");
let domHdrName = document.getElementById("hdrName");
let domHelpModal = document.getElementById("helpModal");
+ const domSearchPlaceholder = document.getElementById("searchPlaceholder");
let searchTimer = null;
@@ -103,6 +104,13 @@ var zigAnalysis;
// let nodesToCallsMap = indexNodesToCalls();
domSearch.addEventListener("keydown", onSearchKeyDown, false);
+ domSearch.addEventListener("focus", ev => {
+ domSearchPlaceholder.classList.add("hidden");
+ });
+ domSearch.addEventListener("blur", ev => {
+ if (domSearch.value.length == 0)
+ domSearchPlaceholder.classList.remove("hidden");
+ });
domPrivDeclsBox.addEventListener(
"change",
function () {
@@ -2623,6 +2631,10 @@ var zigAnalysis;
updateCurNav();
if (domSearch.value !== curNavSearch) {
domSearch.value = curNavSearch;
+ if (domSearch.value.length == 0)
+ domSearchPlaceholder.classList.remove("hidden");
+ else
+ domSearchPlaceholder.classList.add("hidden");
}
render();
if (imFeelingLucky) {