search: loosen glossary search
commita5f0c0d281ae22f99bd3da421ed7237ad5d28463
authorMatilde Park <matilde.park@urbit.org>
dateTue 3 May 2022, 10:06 (4 years ago)
parent3072f91
components/Search.js+3−1
@@ -25,7 +25,9 @@ class Search extends Component {
2525
2626 glossarySearch(query) {
2727 return glossary.filter((entry) => {
28− return query.toLowerCase() === entry.name || entry.symbol === query;
28+ return (
29+ entry.name.includes(query.toLowerCase()) || entry.symbol.includes(query)
30+ );
2931 });
3032 }
3133
lib/glossary.js+1−1
@@ -891,7 +891,7 @@ export const glossary = [
891891 },
892892 {
893893 name: "terminators",
894− symbol: "--,",
894+ symbol: "--",
895895 usage: "Terminators",
896896 slug: "/docs/hoon/reference/rune/terminators/",
897897 desc: "Runes used to terminate expressions.",