From 1a176aa5cc4576747a1acc8c274dfa79299bcbb3 Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Mon, 20 Mar 2023 14:27:03 +0100 Subject: [PATCH] fix: incorrect editor widget key calculation to avoid duplicate editor tabs when opening a sketch with no previously saved workbench layout Closes #1791 Signed-off-by: Akos Kitta --- .../src/browser/contributions/open-sketch-files.ts | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/arduino-ide-extension/src/browser/contributions/open-sketch-files.ts b/arduino-ide-extension/src/browser/contributions/open-sketch-files.ts index 01fa997d3..86cf971d0 100644 --- a/arduino-ide-extension/src/browser/contributions/open-sketch-files.ts +++ b/arduino-ide-extension/src/browser/contributions/open-sketch-files.ts @@ -45,7 +45,11 @@ export class OpenSketchFiles extends SketchContribution { await this.ensureOpened(uri); } if (focusMainSketchFile) { - await this.ensureOpened(mainFileUri, true, { mode: 'activate' }); + await this.ensureOpened(mainFileUri, true, { + mode: 'activate', + preview: false, + counter: 0, + }); } if (mainFileUri.endsWith('.pde')) { const message = nls.localize(