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/join_lines.ts | |
| parent | 4d62cfccbb8281f33b6f894df07e7316a9d45bfb (diff) | |
Fix remaining tslint suggestions
Diffstat (limited to 'editors/code/src/commands/join_lines.ts')
| -rw-r--r-- | editors/code/src/commands/join_lines.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/commands/join_lines.ts b/editors/code/src/commands/join_lines.ts index 80ad4460b..526b698cc 100644 --- a/editors/code/src/commands/join_lines.ts +++ b/editors/code/src/commands/join_lines.ts | |||
| @@ -11,7 +11,7 @@ interface JoinLinesParams { | |||
| 11 | 11 | ||
| 12 | export async function handle() { | 12 | export async function handle() { |
| 13 | const editor = vscode.window.activeTextEditor; | 13 | const editor = vscode.window.activeTextEditor; |
| 14 | if (editor == null || editor.document.languageId != 'rust') { return; } | 14 | if (editor == null || editor.document.languageId !== 'rust') { return; } |
| 15 | const request: JoinLinesParams = { | 15 | const request: JoinLinesParams = { |
| 16 | range: Server.client.code2ProtocolConverter.asRange(editor.selection), | 16 | range: Server.client.code2ProtocolConverter.asRange(editor.selection), |
| 17 | textDocument: { uri: editor.document.uri.toString() }, | 17 | textDocument: { uri: editor.document.uri.toString() }, |