(window: BrowserWindow)
| 96 | }; |
| 97 | |
| 98 | const destroyWindow = (window: BrowserWindow) => { |
| 99 | if (mainWindow === window) mainWindow = null; |
| 100 | if (!window.isDestroyed()) window.destroy(); |
| 101 | }; |
| 102 | |
| 103 | const focusMainWindow = () => { |
| 104 | const window = liveMainWindow(); |