language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-29 14:54:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Fix null-safety bug in search.js

Browse source
This commit is contained in:
Richard Feldman 2024-11-28 18:19:34 -05:00
parent 46067cf28c
commit 74d0560699
No known key found for this signature in database
GPG key ID: DAC334802F365236
1 changed files with 13 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

24
crates/docs/src/static/search.js
View file

@ -1,24 +1,26 @@
(() => { (() => {
let sidebar = document.getElementById("sidebar-nav"); let sidebar = document.getElementById("sidebar-nav");
// Un-hide everything
sidebar if (sidebar != null) {
// Un-hide everything
sidebar
.querySelectorAll(".sidebar-entry a") .querySelectorAll(".sidebar-entry a")
.forEach((entry) => entry.classList.remove("hidden")); .forEach((entry) => entry.classList.remove("hidden"));
// Re-hide all the sub-entries except for those of the current module // Re-hide all the sub-entries except for those of the current module
let currentModuleName = document.querySelector(".module-name").textContent; let currentModuleName = document.querySelector(".module-name").textContent;
sidebar.querySelectorAll(".sidebar-entry").forEach((entry) => { sidebar.querySelectorAll(".sidebar-entry").forEach((entry) => {
let entryName = entry.querySelector(".sidebar-module-link").textContent; let entryName = entry.querySelector(".sidebar-module-link").textContent;
if (currentModuleName === entryName) { if (currentModuleName === entryName) {
entry.firstChild.classList.add("active"); entry.firstChild.classList.add("active");
return; return;
} }
entry entry
.querySelectorAll(".sidebar-sub-entries a") .querySelectorAll(".sidebar-sub-entries a")
.forEach((subEntry) => subEntry.classList.add("hidden")); .forEach((subEntry) => subEntry.classList.add("hidden"));
}); });
}
let searchTypeAhead = document.getElementById("search-type-ahead"); let searchTypeAhead = document.getElementById("search-type-ahead");
let searchBox = document.getElementById("module-search"); let searchBox = document.getElementById("module-search");