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

use class variable to identify custom error

Browse Source
This commit is contained in:
Dave Simpson 2025-04-04 22:52:55 +02:00
parent e36f393682
commit 9c80246603
1 changed files with 6 additions and 1 deletions

7
arduino-ide-extension/src/electron-main/theia/electron-main-application.ts

@ -329,7 +329,10 @@ export class ElectronMainApplication extends TheiaElectronMainApplication {
// 2. A short timeout resolves the promise automatically, falling back to the usual app launch
await this.openFilePromise.promise;
} catch (err) {
if (err instanceof InterruptWorkspaceRestoreError) {
if (
err &&
(err as InterruptWorkspaceRestoreError).isInterruptWorkspaceRestoreError
) {
// Application has received the `open-file` event and will skip the default application launch
return;
}
@ -804,6 +807,8 @@ export class ElectronMainApplication extends TheiaElectronMainApplication {
}
class InterruptWorkspaceRestoreError extends Error {
public readonly isInterruptWorkspaceRestoreError = true;
constructor() {
super(
"Received 'open-file' event. Interrupting the default launch workflow."