diff --git a/arduino-ide-extension/src/browser/contributions/save-as-sketch.ts b/arduino-ide-extension/src/browser/contributions/save-as-sketch.ts
index 0b5f9753..7a198415 100644
--- a/arduino-ide-extension/src/browser/contributions/save-as-sketch.ts
+++ b/arduino-ide-extension/src/browser/contributions/save-as-sketch.ts
@@ -60,7 +60,7 @@ export class SaveAsSketch extends SketchContribution {
         }
         const workspaceUri = await this.sketchService.copy(sketch, { destinationUri });
         if (workspaceUri && openAfterMove) {
-            this.workspaceService.open(new URI(workspaceUri));
+            this.workspaceService.open(new URI(workspaceUri), { preserveWindow: true });
         }
         return !!workspaceUri;
     }
diff --git a/arduino-ide-extension/src/browser/contributions/verify-sketch.ts b/arduino-ide-extension/src/browser/contributions/verify-sketch.ts
index 954233dc..3e64e5fa 100644
--- a/arduino-ide-extension/src/browser/contributions/verify-sketch.ts
+++ b/arduino-ide-extension/src/browser/contributions/verify-sketch.ts
@@ -69,16 +69,12 @@ export class VerifySketch extends SketchContribution {
             if (!boardsConfig.selectedBoard.fqbn) {
                 throw new Error(`No core is installed for the '${boardsConfig.selectedBoard.name}' board. Please install the core.`);
             }
-            const [data, fqbn] = await Promise.all([
-                this.boardsDataStore.getData(boardsConfig.selectedBoard.fqbn),
-                this.boardsDataStore.appendConfigToFqbn(boardsConfig.selectedBoard.fqbn)
-            ]);
+            const fqbn = await this.boardsDataStore.appendConfigToFqbn(boardsConfig.selectedBoard.fqbn);
             this.outputChannelManager.getChannel('Arduino: compile').clear();
             await this.coreService.compile({
                 sketchUri: uri,
                 fqbn,
-                optimizeForDebug: this.editorMode.compileForDebug,
-                programmer: data.selectedProgrammer
+                optimizeForDebug: this.editorMode.compileForDebug
             });
             this.messageService.info('Done compiling.', { timeout: 1000 });
         } catch (e) {