From 4dca5adb3cf7e0a4c097b1245c5c15df1d5d371b Mon Sep 17 00:00:00 2001 From: DJMcNab <36049421+DJMcNab@users.noreply.github.com> Date: Sat, 8 Dec 2018 20:52:30 +0000 Subject: Remove uneeded characters --- editors/code/src/commands/extend_selection.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'editors/code/src/commands/extend_selection.ts') 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() { return; } const request: ExtendSelectionParams = { - selections: editor.selections.map(s => { - return Server.client.code2ProtocolConverter.asRange(s); - }), + selections: editor.selections.map(s => + Server.client.code2ProtocolConverter.asRange(s) + ), textDocument: { uri: editor.document.uri.toString() } }; const response = await Server.client.sendRequest( -- cgit v1.2.3