aboutsummaryrefslogtreecommitdiff
path: root/editors/code
diff options
context:
space:
mode:
authorDJMcNab <[email protected]>2018-12-08 20:52:30 +0000
committerDJMcNab <[email protected]>2018-12-08 20:52:30 +0000
commit4dca5adb3cf7e0a4c097b1245c5c15df1d5d371b (patch)
tree7d8400ad7012f6cb5a4ef13d8e121aa36aa612b8 /editors/code
parent09e12b792581bbca4dd376f8ac71655cf5ba2f6d (diff)
Remove uneeded characters
Diffstat (limited to 'editors/code')
-rw-r--r--editors/code/src/commands/extend_selection.ts6
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>(