blob: 3180019b7422363013b1906904aac22f654c1a2e (
plain)
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);
}
|