erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-08-12 03:45:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 13

changes(developer/compilers): apply suggestions from #3506 review

Browse source 
Co-authored-by: Marc Durdin <marc@durdin.net>
This commit is contained in:
Eddie Antonio Santos 2020-08-26 14:42:22 -06:00 • committed by GitHub
parent d98548e529
commit 1884706cd0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
developer/js/libexec/create-override-script-regexp.ts
View file

@ -16,7 +16,7 @@ const SPACELESS_SCRIPT_BLOCKS = new Set([
]);
let blockIter = blocks();
let block = nextBlock()
let block = nextBlock();
let elligibleCharacters = [];
@ -29,16 +29,16 @@ for (let {codePoint, generalCategory} of unicodeData()) {
console.assert(block.contains(codePoint));
if (SPACELESS_SCRIPT_BLOCKS.has(block.name) && isLetterOrMark(generalCategory)) {
elligibleCharacters.push(codePoint)
eligibleCharacters.push(codePoint);
}
}
let ranges = groupCodePointsIntoRanges(elligibleCharacters)
const ranges = groupCodePointsIntoRanges(eligibleCharacters);
let characterClasses = ranges.map(([lower, upper]) => {
const characterClasses = ranges.map(([lower, upper]) => {
if (lower === upper) {
return unicodeEscape(lower);
} else if (lower == upper - 1) {
} else if (lower === upper - 1) {
return unicodeEscape(lower) + unicodeEscape(upper);
} else {
return `${unicodeEscape(lower)}-${unicodeEscape(upper)}`;
@ -107,7 +107,7 @@ function groupCodePointsIntoRanges(characters: number[]): [number, number][] {
let ranges = [];
let previousCharacter = characters[0];
let candidates = characters.slice(1);
const candidates = characters.slice(1);
let currentRange: [number, number] = [previousCharacter, previousCharacter];
for (let codePoint of candidates) {
if (codePoint === previousCharacter + 1) {
@ -128,7 +128,6 @@ function unicodeEscape(codePoint: number) {
throw new Error("non-BMP code points not supported");
}
let hex = codePoint.toString(16).toUpperCase();
let leadingZeros = "0".repeat(4 - hex.length);
return `\\u${leadingZeros}${hex}`;
let hex = codePoint.toString(16).toUpperCase().padStart(4,'0');
return `\\u${hex}`;
}