Fix on enter

diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts
index ec420d1abb1434f102975624d3f7bec97055c2f1..cf921e3ac0a66e652e14b7383cc95b5ba78327fc 100644 (file)
--- a/editors/code/src/commands/apply_source_change.ts
+++ b/editors/code/src/commands/apply_source_change.ts
@@ -12,14 +12,14 @@ interface FileSystemEdit {
 
 export interface SourceChange {
     label: string;
-    SourceFileNodeEdits: lc.TextDocumentEdit[];
+    sourceFileEdits: lc.TextDocumentEdit[];
     fileSystemEdits: FileSystemEdit[];
     cursorPosition?: lc.TextDocumentPositionParams;
 }
 
 export async function handle(change: SourceChange) {
     const wsEdit = new vscode.WorkspaceEdit();
-    for (const sourceEdit of change.SourceFileNodeEdits) {
+    for (const sourceEdit of change.sourceFileEdits) {
         const uri = Server.client.protocol2CodeConverter.asUri(
             sourceEdit.textDocument.uri
         );