aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/events
diff options
context:
space:
mode:
Diffstat (limited to 'editors/code/src/events')
-rw-r--r--editors/code/src/events/change_active_text_editor.ts22
-rw-r--r--editors/code/src/events/change_text_document.ts10
2 files changed, 16 insertions, 16 deletions
diff --git a/editors/code/src/events/change_active_text_editor.ts b/editors/code/src/events/change_active_text_editor.ts
index bbdd53098..96d61126c 100644
--- a/editors/code/src/events/change_active_text_editor.ts
+++ b/editors/code/src/events/change_active_text_editor.ts
@@ -1,14 +1,14 @@
1import { TextEditor } from "vscode"; 1import { TextEditor } from 'vscode';
2import { TextDocumentIdentifier } from "vscode-languageclient"; 2import { TextDocumentIdentifier } from 'vscode-languageclient';
3 3
4import { Server } from "../server"; 4import { Decoration } from '../highlighting';
5import { Decoration } from "../highlighting"; 5import { Server } from '../server';
6 6
7export async function handle(editor: TextEditor | undefined) { 7export async function handle(editor: TextEditor | undefined) {
8 if (!Server.config.highlightingOn || !editor || editor.document.languageId != 'rust') return 8 if (!Server.config.highlightingOn || !editor || editor.document.languageId != 'rust') { return; }
9 let params: TextDocumentIdentifier = { 9 const params: TextDocumentIdentifier = {
10 uri: editor.document.uri.toString() 10 uri: editor.document.uri.toString(),
11 } 11 };
12 let decorations = await Server.client.sendRequest<Decoration[]>("m/decorationsRequest", params) 12 const decorations = await Server.client.sendRequest<Decoration[]>('m/decorationsRequest', params);
13 Server.highlighter.setHighlights(editor, decorations) 13 Server.highlighter.setHighlights(editor, decorations);
14} \ No newline at end of file 14}
diff --git a/editors/code/src/events/change_text_document.ts b/editors/code/src/events/change_text_document.ts
index 83ee6c9ee..192fb1e8a 100644
--- a/editors/code/src/events/change_text_document.ts
+++ b/editors/code/src/events/change_text_document.ts
@@ -4,16 +4,16 @@ import { syntaxTreeUri, TextDocumentContentProvider } from '../commands/syntaxTr
4 4
5export function createHandler(textDocumentContentProvider: TextDocumentContentProvider) { 5export function createHandler(textDocumentContentProvider: TextDocumentContentProvider) {
6 return (event: vscode.TextDocumentChangeEvent) => { 6 return (event: vscode.TextDocumentChangeEvent) => {
7 let doc = event.document 7 const doc = event.document;
8 if (doc.languageId != "rust") return 8 if (doc.languageId != 'rust') { return; }
9 afterLs(() => { 9 afterLs(() => {
10 textDocumentContentProvider.eventEmitter.fire(syntaxTreeUri); 10 textDocumentContentProvider.eventEmitter.fire(syntaxTreeUri);
11 }) 11 });
12 } 12 };
13} 13}
14 14
15// We need to order this after LS updates, but there's no API for that. 15// We need to order this after LS updates, but there's no API for that.
16// Hence, good old setTimeout. 16// Hence, good old setTimeout.
17function afterLs(f: () => any) { 17function afterLs(f: () => any) {
18 setTimeout(f, 10) 18 setTimeout(f, 10);
19} 19}