diff options
author | Adolfo OchagavĂa <[email protected]> | 2018-10-07 21:59:02 +0100 |
---|---|---|
committer | Adolfo OchagavĂa <[email protected]> | 2018-10-07 22:12:40 +0100 |
commit | 4d62cfccbb8281f33b6f894df07e7316a9d45bfb (patch) | |
tree | 56ad69cb2f5c1096a2a74cfa078b92c40fe902e1 /editors/code/src/events/change_text_document.ts | |
parent | 69de7e2fd71c3a808f0ac856d7b105eeb210f169 (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.ts | 10 |
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 | ||
5 | export function createHandler(textDocumentContentProvider: TextDocumentContentProvider) { | 5 | export 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. |
17 | function afterLs(f: () => any) { | 17 | function afterLs(f: () => any) { |
18 | setTimeout(f, 10) | 18 | setTimeout(f, 10); |
19 | } | 19 | } |