diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-09 09:09:07 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-09 09:09:07 +0000 |
commit | 904438e993b4cc3c1d9269a44436c1b112de16c0 (patch) | |
tree | ad5883464be94eae707a738802377fcd22a7eef4 /editors/code/src/commands | |
parent | c011fb70563d9eddb1e62436f78c206f3be0d00e (diff) | |
parent | bb0c2eb8d9da46ca1c71e42dcc363c13028b3eae (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')
-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>( |