aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/commands/extend_selection.ts
diff options
context:
space:
mode:
authorbors[bot] <bors[bot]@users.noreply.github.com>2018-12-09 09:09:07 +0000
committerbors[bot] <bors[bot]@users.noreply.github.com>2018-12-09 09:09:07 +0000
commit904438e993b4cc3c1d9269a44436c1b112de16c0 (patch)
treead5883464be94eae707a738802377fcd22a7eef4 /editors/code/src/commands/extend_selection.ts
parentc011fb70563d9eddb1e62436f78c206f3be0d00e (diff)
parentbb0c2eb8d9da46ca1c71e42dcc363c13028b3eae (diff)
Merge #267
267: Fix the extend keybinding r=DJMcNab a=DJMcNab Make the extend selection keybinding less annoying for users not used to Injelli-J (myself included). Also fixes a minor style issue and runs `npm update`. Co-authored-by: DJMcNab <[email protected]>
Diffstat (limited to 'editors/code/src/commands/extend_selection.ts')
-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>(