(window: BrowserWindow)
| 112 | }; |
| 113 | |
| 114 | const destroyWindow = (window: BrowserWindow) => { |
| 115 | if (mainWindow === window) mainWindow = null; |
| 116 | if (!window.isDestroyed()) window.destroy(); |
| 117 | }; |
| 118 | |
| 119 | const focusMainWindow = () => { |
| 120 | const window = liveMainWindow(); |