jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-15 15:26:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: incorrect editor widget key calculation

Browse Source 
to avoid duplicate editor tabs when opening a sketch with no previously
saved workbench layout

Closes 

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
This commit is contained in:
Akos Kitta 2023-03-20 14:27:03 +01:00 committed by Akos Kitta
parent 39ab836880
commit e4beb03a40
1 changed files with 5 additions and 1 deletions

6
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(