fix: incorrect editor widget key calculation

Akos Kitta · kittaakos · commit e4beb03a404b · 2023-03-28T18:56:10.000+02:00
to avoid duplicate editor tabs when opening a sketch with no previously saved workbench layout Closes #1791 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
diff --git 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(

Original file line number	Diff line number	Diff line change
`@@ -45,7 +45,11 @@ export class OpenSketchFiles extends SketchContribution {`
`45`	`45`	`await this.ensureOpened(uri);`
`46`	`46`	`}`
`47`	`47`	`if (focusMainSketchFile) {`
`48`		`- await this.ensureOpened(mainFileUri, true, { mode: 'activate' });`
	`48`	`+ await this.ensureOpened(mainFileUri, true, {`
	`49`	`+ mode: 'activate',`
	`50`	`+ preview: false,`
	`51`	`+ counter: 0,`
	`52`	`+ });`
`49`	`53`	`}`
`50`	`54`	`if (mainFileUri.endsWith('.pde')) {`
`51`	`55`	`const message = nls.localize(`