diff options
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>( |