From ffd0b8a17be4d23d5af9304eb42e99c82d99b0ef Mon Sep 17 00:00:00 2001 From: Dan Chao Date: Mon, 5 Feb 2024 21:42:03 -0800 Subject: [PATCH] Fix broken search on pkldoc --- .../src/main/resources/org/pkl/doc/scripts/search-worker.js | 6 +++--- .../files/DocGeneratorTest/output/scripts/search-worker.js | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/pkl-doc/src/main/resources/org/pkl/doc/scripts/search-worker.js b/pkl-doc/src/main/resources/org/pkl/doc/scripts/search-worker.js index b20c2a1a..224b731e 100644 --- a/pkl-doc/src/main/resources/org/pkl/doc/scripts/search-worker.js +++ b/pkl-doc/src/main/resources/org/pkl/doc/scripts/search-worker.js @@ -14,6 +14,7 @@ if (isWorker) { const searchIndexUrl = workerName === "main" ? '../search-index.js' : '../' + workerName + '/search-index.js'; + importScripts(searchIndexUrl); initSearchIndex(); addEventListener('message', e => { const {query, packageName, moduleName, className} = e.data; @@ -177,12 +178,11 @@ function toWordStarts(characters) { return result; } -const regexIsUppercase = /\p{Lu}/u - -const regexIsNumericCharacter = /\p{N}/u // Partitions characters into uppercase, digit, dot, and other. function toCharClass(ch) { + const regexIsUppercase = /\p{Lu}/u + const regexIsNumericCharacter = /\p{N}/u return regexIsUppercase.test(ch) ? 3 : regexIsNumericCharacter.test(ch) ? 2 : ch === '.' ? 1 : 0; } diff --git a/pkl-doc/src/test/files/DocGeneratorTest/output/scripts/search-worker.js b/pkl-doc/src/test/files/DocGeneratorTest/output/scripts/search-worker.js index b20c2a1a..224b731e 100644 --- a/pkl-doc/src/test/files/DocGeneratorTest/output/scripts/search-worker.js +++ b/pkl-doc/src/test/files/DocGeneratorTest/output/scripts/search-worker.js @@ -14,6 +14,7 @@ if (isWorker) { const searchIndexUrl = workerName === "main" ? '../search-index.js' : '../' + workerName + '/search-index.js'; + importScripts(searchIndexUrl); initSearchIndex(); addEventListener('message', e => { const {query, packageName, moduleName, className} = e.data; @@ -177,12 +178,11 @@ function toWordStarts(characters) { return result; } -const regexIsUppercase = /\p{Lu}/u - -const regexIsNumericCharacter = /\p{N}/u // Partitions characters into uppercase, digit, dot, and other. function toCharClass(ch) { + const regexIsUppercase = /\p{Lu}/u + const regexIsNumericCharacter = /\p{N}/u return regexIsUppercase.test(ch) ? 3 : regexIsNumericCharacter.test(ch) ? 2 : ch === '.' ? 1 : 0; }