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 | |
parent | 69de7e2fd71c3a808f0ac856d7b105eeb210f169 (diff) |
Apply tslint suggestions, round one
Diffstat (limited to 'editors/code/src/events')
-rw-r--r-- | editors/code/src/events/change_active_text_editor.ts | 22 | ||||
-rw-r--r-- | editors/code/src/events/change_text_document.ts | 10 |
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 @@ | |||
1 | import { TextEditor } from "vscode"; | 1 | import { TextEditor } from 'vscode'; |
2 | import { TextDocumentIdentifier } from "vscode-languageclient"; | 2 | import { TextDocumentIdentifier } from 'vscode-languageclient'; |
3 | 3 | ||
4 | import { Server } from "../server"; | 4 | import { Decoration } from '../highlighting'; |
5 | import { Decoration } from "../highlighting"; | 5 | import { Server } from '../server'; |
6 | 6 | ||
7 | export async function handle(editor: TextEditor | undefined) { | 7 | export 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 | ||
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 | } |