From 556823328f72184e6e2a79c93c06fa7807233019 Mon Sep 17 00:00:00 2001 From: Per Bothner Date: Wed, 28 Jun 2023 15:33:55 -0700 Subject: [PATCH] Fix for lint the previous charProperties change. --- .../src/UnicodeGraphemeProvider.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/addons/xterm-addon-unicode-graphemes/src/UnicodeGraphemeProvider.ts b/addons/xterm-addon-unicode-graphemes/src/UnicodeGraphemeProvider.ts index 8e4b019e..09a7f25e 100644 --- a/addons/xterm-addon-unicode-graphemes/src/UnicodeGraphemeProvider.ts +++ b/addons/xterm-addon-unicode-graphemes/src/UnicodeGraphemeProvider.ts @@ -14,7 +14,7 @@ export class UnicodeGraphemeProvider implements IUnicodeVersionProvider { constructor() { } - static readonly plainNarrowProperties: UnicodeCharProperties + private static readonly _plainNarrowProperties: UnicodeCharProperties = UnicodeService.createPropertyValue(UC.GRAPHEME_BREAK_Other, 1, false); public charProperties(codepoint: number, preceding: UnicodeCharProperties): UnicodeCharProperties { @@ -22,7 +22,7 @@ export class UnicodeGraphemeProvider implements IUnicodeVersionProvider { // UnicodeService.extractCharKind(preceding) === GRAPHEME_BREAK_Other // (which also covers the case that preceding === 0). if ((codepoint >= 32 && codepoint < 127) && (preceding >> 3) === 0) { - return UnicodeGraphemeProvider.plainNarrowProperties; + return UnicodeGraphemeProvider._plainNarrowProperties; } let charInfo = UC.getInfo(codepoint);