Remove uneeded characters

This commit is contained in:
DJMcNab 2018-12-08 20:52:30 +00:00
parent 09e12b7925
commit 4dca5adb3c

View file

@ -18,9 +18,9 @@ export async function handle() {
return; return;
} }
const request: ExtendSelectionParams = { const request: ExtendSelectionParams = {
selections: editor.selections.map(s => { selections: editor.selections.map(s =>
return Server.client.code2ProtocolConverter.asRange(s); Server.client.code2ProtocolConverter.asRange(s)
}), ),
textDocument: { uri: editor.document.uri.toString() } textDocument: { uri: editor.document.uri.toString() }
}; };
const response = await Server.client.sendRequest<ExtendSelectionResult>( const response = await Server.client.sendRequest<ExtendSelectionResult>(