editors/code/src/notifications/publish_decorations.ts


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

import * as vscode from 'vscode';

import { Decoration } from '../highlighting';
import { Server } from '../server';

export interface PublishDecorationsParams {
    uri: string;
    decorations: Decoration[];
}

export function handle(params: PublishDecorationsParams) {
    const targetEditor = vscode.window.visibleTextEditors.find(
        editor => editor.document.uri.toString() === params.uri
    );
    if (!Server.config.highlightingOn || !targetEditor) {
        return;
    }
    Server.highlighter.setHighlights(targetEditor, params.decorations);
}