diff options
| author | DJMcNab <[email protected]> | 2018-12-08 20:52:30 +0000 |
|---|---|---|
| committer | DJMcNab <[email protected]> | 2018-12-08 20:52:30 +0000 |
| commit | 4dca5adb3cf7e0a4c097b1245c5c15df1d5d371b (patch) | |
| tree | 7d8400ad7012f6cb5a4ef13d8e121aa36aa612b8 /editors | |
| parent | 09e12b792581bbca4dd376f8ac71655cf5ba2f6d (diff) | |
Remove uneeded characters
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/code/src/commands/extend_selection.ts | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/editors/code/src/commands/extend_selection.ts b/editors/code/src/commands/extend_selection.ts index 0ee6bd11d..7b96bbc37 100644 --- a/editors/code/src/commands/extend_selection.ts +++ b/editors/code/src/commands/extend_selection.ts | |||
| @@ -18,9 +18,9 @@ export async function handle() { | |||
| 18 | return; | 18 | return; |
| 19 | } | 19 | } |
| 20 | const request: ExtendSelectionParams = { | 20 | const request: ExtendSelectionParams = { |
| 21 | selections: editor.selections.map(s => { | 21 | selections: editor.selections.map(s => |
| 22 | return Server.client.code2ProtocolConverter.asRange(s); | 22 | Server.client.code2ProtocolConverter.asRange(s) |
| 23 | }), | 23 | ), |
| 24 | textDocument: { uri: editor.document.uri.toString() } | 24 | textDocument: { uri: editor.document.uri.toString() } |
| 25 | }; | 25 | }; |
| 26 | const response = await Server.client.sendRequest<ExtendSelectionResult>( | 26 | const response = await Server.client.sendRequest<ExtendSelectionResult>( |