diff --git a/src/vs/editor/common/model/tokensStore.ts b/src/vs/editor/common/model/tokensStore.ts index 8377ce07c3a060d5e44b809e25b0102098355614..3ee6ab6ced3b33f4514a2996c6caab707b6bbae1 100644 --- a/src/vs/editor/common/model/tokensStore.ts +++ b/src/vs/editor/common/model/tokensStore.ts @@ -132,14 +132,10 @@ export class TokensStore { this._len += insertCount; } - private _setTokens(lineIndex: number, tokens: ArrayBuffer | null): void { - this._ensureLine(lineIndex); - this._lineTokens[lineIndex] = tokens; - } - public setTokens(topLevelLanguageId: LanguageId, lineIndex: number, lineTextLength: number, _tokens: Uint32Array): void { const tokens = TokensStore._massageTokens(topLevelLanguageId, lineTextLength, _tokens); - this._setTokens(lineIndex, tokens); + this._ensureLine(lineIndex); + this._lineTokens[lineIndex] = tokens; } //#region Editing