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
20
21
22
23
24
25
26

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 => {
            const unescapedUri = unescape(editor.document.uri.toString());
            // Unescaped URI looks like:
            // file:///c:/Workspace/ra-test/src/main.rs
            return unescapedUri === params.uri
        }
    );

    if (!Server.config.highlightingOn || !targetEditor) {
        return;
    }

    Server.highlighter.setHighlights(targetEditor, params.decorations);
}