arduino
diff --git a/‎arduino-ide-extension/src/electron-main/theia/electron-main-application.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/electron-main/theia/electron-main-application.ts
+4-3Lines changed: 4 additions & 3 deletions b/‎arduino-ide-extension/src/electron-main/theia/electron-main-application.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/electron-main/theia/electron-main-application.ts
+4-3Lines changed: 4 additions & 3 deletions
@@ -385,10 +385,11 @@ export class ElectronMainApplication extends TheiaElectronMainApplication {
   }
 
   private async launchFromArgs(
-    params: ElectronMainCommandOptions
+    params: ElectronMainCommandOptions,
+    argv: string[] = this.argv
   ): Promise<boolean> {
     // Copy to prevent manipulation of original array
-    const argCopy = [...this.argv];
+    const argCopy = [...argv];
     let path: string | undefined;
     for (const maybePath of argCopy) {
       const resolvedPath = await this.resolvePath(maybePath, params.cwd);
@@ -526,7 +527,7 @@ export class ElectronMainApplication extends TheiaElectronMainApplication {
     argv: string[],
     cwd: string
   ): Promise<void> {
-    if (await this.launchFromArgs({ cwd, secondInstance: true })) {
+    if (await this.launchFromArgs({ cwd, secondInstance: true }, argv)) {
       // Application has received a file in its arguments
       return;
     }