waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Fix for lint the previous charProperties change.

Browse Source
This commit is contained in:
Per Bothner
2023-06-28 15:33:55 -07:00
parent dc6818de2b
commit 556823328f
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
addons/xterm-addon-unicode-graphemes/src/UnicodeGraphemeProvider.ts
+2 -2
View File
@@ -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);