Tiny correction

2020-06-02 17:19:28 -04:00
parent e59877221c
commit 95547b3b82
1 changed files with 1 additions and 1 deletions
--- 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);
        }