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 6b2c8768b..9c68f938e 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
@@ -172,4 +172,13 @@ export class ElectronMainApplication extends TheiaElectronMainApplication {
   get windows(): BrowserWindow[] {
     return this._windows.slice();
   }
+
+  /**
+   * "Gently" close all windows, application will not stop if a `beforeunload` handler returns `false`.
+   */
+  requestStop(): void {
+    if (process.platform !== 'darwin') {
+      app.quit();
+    }
+  }
 }