diff --git a/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts b/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts index 61bb26cc..448ad198 100644 --- a/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts +++ b/arduino-ide-extension/src/electron-main/theia/electron-main-application.ts @@ -181,8 +181,8 @@ export class ElectronMainApplication extends TheiaElectronMainApplication { if (!stats) { return undefined; } - if (stats.isFile() && path.endsWith('.ino')) { - return path; + if (stats.isFile()) { + return path.endsWith('.ino') ? path : undefined; } try { const entries = await fs.readdir(path, { withFileTypes: true });