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