aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorAdolfo OchagavĂ­a <[email protected]>2018-11-09 12:10:53 +0000
committerAdolfo OchagavĂ­a <[email protected]>2018-11-09 12:10:53 +0000
commitb98b1d011517340c0b9c1212bf08ae48f738672e (patch)
tree38d5ab7ab1d0b69858d6a032c69c98e6c230c5da /editors
parent8475c962a03c7018b1d452662820f1e40d96a968 (diff)
Fix on enter
Diffstat (limited to 'editors')
-rw-r--r--editors/code/src/commands/apply_source_change.ts4
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
13export interface SourceChange { 13export 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
20export async function handle(change: SourceChange) { 20export 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 );