diff options
author | Adolfo OchagavĂa <[email protected]> | 2018-10-08 19:18:55 +0100 |
---|---|---|
committer | Adolfo OchagavĂa <[email protected]> | 2018-10-08 19:18:55 +0100 |
commit | 62b1b05a0d9dd021f98352b6229e48e0d8b94f78 (patch) | |
tree | 92627c1590c7f38b29a6d0d86f1db3d5b7332ad0 /editors/code/src/commands/extend_selection.ts | |
parent | 4d62cfccbb8281f33b6f894df07e7316a9d45bfb (diff) |
Fix remaining tslint suggestions
Diffstat (limited to 'editors/code/src/commands/extend_selection.ts')
-rw-r--r-- | editors/code/src/commands/extend_selection.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/commands/extend_selection.ts b/editors/code/src/commands/extend_selection.ts index b722ac172..cdc3d10fb 100644 --- a/editors/code/src/commands/extend_selection.ts +++ b/editors/code/src/commands/extend_selection.ts | |||
@@ -14,7 +14,7 @@ interface ExtendSelectionResult { | |||
14 | 14 | ||
15 | export async function handle() { | 15 | export async function handle() { |
16 | const editor = vscode.window.activeTextEditor; | 16 | const editor = vscode.window.activeTextEditor; |
17 | if (editor == null || editor.document.languageId != 'rust') { return; } | 17 | if (editor == null || editor.document.languageId !== 'rust') { return; } |
18 | const request: ExtendSelectionParams = { | 18 | const request: ExtendSelectionParams = { |
19 | selections: editor.selections.map((s) => { | 19 | selections: editor.selections.map((s) => { |
20 | return Server.client.code2ProtocolConverter.asRange(s); | 20 | return Server.client.code2ProtocolConverter.asRange(s); |