blob: f23e286ad5d9fe4d5082176f5a9d2b31f0cd2ab5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
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);
}
|