feat: section numbers in search box

leanprover · Jan 10, 2025 · 7ec1603 · 7ec1603
1 parent 800ee59
commit 7ec1603
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "9dbac26d254a8b4f6ea935cb0d4f79608f2cd274",
+   "rev": "97e01bd21265fdc719371f20ba69bdaf26896357",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "custom-head",

diff --git a/static/search/domain-mappers.js b/static/search/domain-mappers.js
@@ -68,7 +68,7 @@ const docConvTacticDomainMapper = {
 const sectionMapper = {
   dataToSearchables: (domainData) =>
     Object.entries(domainData.contents).map(([key, value]) => ({
-      searchKey: value[0].data[value[0].data.length - 1],
+      searchKey: `${value[0].data.sectionNum} ${value[0].data.title}`,
       address: `${value[0].address}#${value[0].id}`,
       domainId: "Verso.Genre.Manual.section",
       ref: value,