Merge branch 'main' into radical-new-docs

This commit is contained in:
froos 2025-10-28 22:02:10 +01:00
commit 4159c8394d
59 changed files with 1234 additions and 214 deletions

View file

@ -72,10 +72,10 @@ export function Reference() {
return true;
}
const lowCaseSearch = search.toLowerCase();
const lowerCaseSearch = search.toLowerCase();
return (
entry.name.toLowerCase().includes(lowCaseSearch) ||
(entry.synonyms?.some((s) => s.includes(lowCaseSearch)) ?? false)
entry.name.toLowerCase().includes(lowerCaseSearch) ||
(entry.synonyms?.some((s) => s.toLowerCase().includes(lowerCaseSearch)) ?? false)
);
});
}, [search, selectedTag]);