()
| 68 | } |
| 69 | |
| 70 | private setupWindowEvents(): void { |
| 71 | let moveTimeout: NodeJS.Timeout | null = null |
| 72 | this.mainWindow?.on('move', () => { |
| 73 | if (moveTimeout) clearTimeout(moveTimeout) |
| 74 | moveTimeout = setTimeout(() => { |
| 75 | if (this.mainWindow) { |
| 76 | const [x, y] = this.mainWindow.getPosition() |
| 77 | const displayId = windowManager.getCurrentDisplayId() |
| 78 | if (displayId !== null) { |
| 79 | windowManager.saveWindowPosition(displayId, x, y) |
| 80 | } |
| 81 | } |
| 82 | }, 500) |
| 83 | }) |
| 84 | } |
| 85 | |
| 86 | private hideWindow(isRestorePreWindow: boolean = true): void { |
| 87 | windowManager.hideWindow(isRestorePreWindow) |
no test coverage detected