From 030372004bdb444d576237d9cfbf28ef63861301 Mon Sep 17 00:00:00 2001 From: JesusValera Date: Sun, 26 Oct 2025 19:49:59 +0100 Subject: [PATCH] Remove "API" badge when "Symbol not found" --- static/search.js | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/static/search.js b/static/search.js index 13cc25db..0c766a33 100644 --- a/static/search.js +++ b/static/search.js @@ -279,7 +279,7 @@ function showResults(index) { signature: "", desc: "Cannot provide any Phel symbol. Try something else", anchor: "#", - type: "api" + type: "empty" }; createMenuItem(emptyResult, null); @@ -319,6 +319,17 @@ function formatSearchResultItem(item) { + `` + `${item.content}` + ``; + } else if (item.type === "empty") { + return `` + + `
` + + `
` + + `
` + + `${item.name} ` + + `${item.signature}` + + `
` + + `
` + + `${item.desc}` + + `
`; } else { return `` + `
`