mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-10-01 07: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[] {
|
get windows(): BrowserWindow[] {
|
||||||
return this._windows.slice();
|
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