add comment on workspace-service.ts

Alberto Iannaccone · Alberto Iannaccone · commit ebc63e83a57f · 2022-06-30T13:16:15.000+02:00
diff --git a/arduino-ide-extension/src/browser/theia/workspace/workspace-service.ts b/arduino-ide-extension/src/browser/theia/workspace/workspace-service.ts
@@ -113,7 +113,7 @@ export class WorkspaceService extends TheiaWorkspaceService {
       if (preserveWindow) {
         this._workspace = stat;
       }
-      this.openWindow(stat, Object.assign(options ?? {}, { preserveWindow }));
+      this.openWindow(stat, Object.assign(options ?? {}, { preserveWindow })); // Unlike Theia, IDE2 passes the whole `input` downstream and not only { preserveWindow }
       return;
     }
     throw new Error(

Original file line number	Diff line number	Diff line change
`@@ -113,7 +113,7 @@ export class WorkspaceService extends TheiaWorkspaceService {`
`113`	`113`	`if (preserveWindow) {`
`114`	`114`	`this._workspace = stat;`
`115`	`115`	`}`
`116`		`- this.openWindow(stat, Object.assign(options ?? {}, { preserveWindow }));`
	`116`	+ this.openWindow(stat, Object.assign(options ?? {}, { preserveWindow })); // Unlike Theia, IDE2 passes the whole `input` downstream and not only { preserveWindow }
`117`	`117`	`return;`
`118`	`118`	`}`
`119`	`119`	`throw new Error(`