starred/pkl
1
0
Fork 0
mirror of https://github.com/apple/pkl.git synced 2026-04-01 06:33:26 +02:00
Code Issues 198 Packages Projects Releases 10 Wiki Activity

Fix broken search on pkldoc

Browse Source
This commit is contained in:
Dan Chao
2024-02-05 21:42:03 -08:00
parent 0fd469f3a6
commit ffd0b8a17b
2 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
pkl-doc/src/main/resources/org/pkl/doc/scripts/search-worker.js
View File

@@ -14,6 +14,7 @@ if (isWorker) {
const searchIndexUrl = workerName === "main" ? const searchIndexUrl = workerName === "main" ?
'../search-index.js' : '../search-index.js' :
'../' + workerName + '/search-index.js'; '../' + workerName + '/search-index.js';
importScripts(searchIndexUrl);
initSearchIndex(); initSearchIndex();
addEventListener('message', e => { addEventListener('message', e => {
const {query, packageName, moduleName, className} = e.data; const {query, packageName, moduleName, className} = e.data;
@@ -177,12 +178,11 @@ function toWordStarts(characters) {
return result; return result;
} }
const regexIsUppercase = /\p{Lu}/u
const regexIsNumericCharacter = /\p{N}/u
// Partitions characters into uppercase, digit, dot, and other. // Partitions characters into uppercase, digit, dot, and other.
function toCharClass(ch) { 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; return regexIsUppercase.test(ch) ? 3 : regexIsNumericCharacter.test(ch) ? 2 : ch === '.' ? 1 : 0;
} }

6
pkl-doc/src/test/files/DocGeneratorTest/output/scripts/search-worker.js vendored
View File

@@ -14,6 +14,7 @@ if (isWorker) {
const searchIndexUrl = workerName === "main" ? const searchIndexUrl = workerName === "main" ?
'../search-index.js' : '../search-index.js' :
'../' + workerName + '/search-index.js'; '../' + workerName + '/search-index.js';
importScripts(searchIndexUrl);
initSearchIndex(); initSearchIndex();
addEventListener('message', e => { addEventListener('message', e => {
const {query, packageName, moduleName, className} = e.data; const {query, packageName, moduleName, className} = e.data;
@@ -177,12 +178,11 @@ function toWordStarts(characters) {
return result; return result;
} }
const regexIsUppercase = /\p{Lu}/u
const regexIsNumericCharacter = /\p{N}/u
// Partitions characters into uppercase, digit, dot, and other. // Partitions characters into uppercase, digit, dot, and other.
function toCharClass(ch) { 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; return regexIsUppercase.test(ch) ? 3 : regexIsNumericCharacter.test(ch) ? 2 : ch === '.' ? 1 : 0;
} }