(chunks: RMarkdownChunk[], document: vscode.TextDocument)
| 86 | } |
| 87 | |
| 88 | private highlightChunks(chunks: RMarkdownChunk[], document: vscode.TextDocument) { |
| 89 | const chunkRanges = chunks.map((chunk) => chunk.chunkRange); |
| 90 | for (const editor of vscode.window.visibleTextEditors) { |
| 91 | if (editor.document.uri.toString() === document.uri.toString()) { |
| 92 | editor.setDecorations(this.decoration, chunkRanges); |
| 93 | } |
| 94 | } |
| 95 | } |
| 96 | |
| 97 | private highlight(chunks: RMarkdownChunk[], document: vscode.TextDocument) { |
| 98 | if (!chunks) { |