Deploying to gh-pages from @ 80532da357 🚀

This commit is contained in:
veelenga 2022-10-14 18:10:09 +00:00
parent 5691d407a5
commit 017e9a8722
121 changed files with 1270 additions and 1270 deletions

View file

@ -143,14 +143,14 @@ CrystalDocs.runQuery = function(query) {
matches = matches.concat(typeMatches);
}
results.push({
id: constant.html_id,
id: constant.id,
type: type.full_name,
result_type: "constant",
name: constant.name,
full_name: type.full_name + "#" + constant.name,
value: constant.value,
summary: constant.summary,
href: type.path + "#" + constant.html_id,
href: type.path + "#" + constant.id,
matched_fields: matchedFields,
matched_terms: matches
});