mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-09-29 06:38:31 +00:00
Compare commits
1 Commits
2.0.1
...
atl-483--m
Author | SHA1 | Date | |
---|---|---|---|
![]() |
1d049d4435 |
@@ -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();
|
||||
}
|
||||
}
|
||||
}
|
||||
|
Reference in New Issue
Block a user