From 95547b3b82f40c15e864aec5d3cff3f27f9336f4 Mon Sep 17 00:00:00 2001 From: BoykoAlex Date: Tue, 2 Jun 2020 17:19:28 -0400 Subject: [PATCH] Tiny correction --- vscode-extensions/commons-vscode/src/highlight-service.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/vscode-extensions/commons-vscode/src/highlight-service.ts b/vscode-extensions/commons-vscode/src/highlight-service.ts index 3db7283bf..797902b18 100644 --- a/vscode-extensions/commons-vscode/src/highlight-service.ts +++ b/vscode-extensions/commons-vscode/src/highlight-service.ts @@ -62,7 +62,7 @@ export class HighlightService { private updateHighlightsForEditor(editor: TextEditor) { if (editor) { const highlightParams: HighlightParams = this.highlights.get(editor.document.uri.toString()); - const highlights: CodeLens[] = highlightParams.codeLenses || []; + const highlights: CodeLens[] = highlightParams?.codeLenses || []; let decorations = highlights.map(hl => toVSRange(hl.range)); editor.setDecorations(this.DECORATION, decorations); }