aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/events/change_text_document.ts
diff options
context:
space:
mode:
authorAdolfo OchagavĂ­a <[email protected]>2018-10-07 21:59:02 +0100
committerAdolfo OchagavĂ­a <[email protected]>2018-10-07 22:12:40 +0100
commit4d62cfccbb8281f33b6f894df07e7316a9d45bfb (patch)
tree56ad69cb2f5c1096a2a74cfa078b92c40fe902e1 /editors/code/src/events/change_text_document.ts
parent69de7e2fd71c3a808f0ac856d7b105eeb210f169 (diff)
Apply tslint suggestions, round one
Diffstat (limited to 'editors/code/src/events/change_text_document.ts')
-rw-r--r--editors/code/src/events/change_text_document.ts10
1 files changed, 5 insertions, 5 deletions
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}