diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-11-09 12:13:50 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-11-09 12:13:50 +0000 |
commit | 5a9150df9bcdaf5faed5b500c22333f1f7c99f32 (patch) | |
tree | 38d5ab7ab1d0b69858d6a032c69c98e6c230c5da /editors | |
parent | 8475c962a03c7018b1d452662820f1e40d96a968 (diff) | |
parent | b98b1d011517340c0b9c1212bf08ae48f738672e (diff) |
Merge #221
221: Fix on enter r=matklad a=aochagavia
Fixes #219
Co-authored-by: Adolfo OchagavĂa <[email protected]>
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/src/commands/apply_source_change.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts index ec420d1ab..cf921e3ac 100644 --- a/editors/code/src/commands/apply_source_change.ts +++ b/editors/code/src/commands/apply_source_change.ts | |||
@@ -12,14 +12,14 @@ interface FileSystemEdit { | |||
12 | 12 | ||
13 | export interface SourceChange { | 13 | export interface SourceChange { |
14 | label: string; | 14 | label: string; |
15 | SourceFileNodeEdits: lc.TextDocumentEdit[]; | 15 | sourceFileEdits: lc.TextDocumentEdit[]; |
16 | fileSystemEdits: FileSystemEdit[]; | 16 | fileSystemEdits: FileSystemEdit[]; |
17 | cursorPosition?: lc.TextDocumentPositionParams; | 17 | cursorPosition?: lc.TextDocumentPositionParams; |
18 | } | 18 | } |
19 | 19 | ||
20 | export async function handle(change: SourceChange) { | 20 | export async function handle(change: SourceChange) { |
21 | const wsEdit = new vscode.WorkspaceEdit(); | 21 | const wsEdit = new vscode.WorkspaceEdit(); |
22 | for (const sourceEdit of change.SourceFileNodeEdits) { | 22 | for (const sourceEdit of change.sourceFileEdits) { |
23 | const uri = Server.client.protocol2CodeConverter.asUri( | 23 | const uri = Server.client.protocol2CodeConverter.asUri( |
24 | sourceEdit.textDocument.uri | 24 | sourceEdit.textDocument.uri |
25 | ); | 25 | ); |