(id: string)
| 119 | } |
| 120 | |
| 121 | function closeWindow(id: string) { |
| 122 | const w = windows.value[id] |
| 123 | if (w) w.isOpen = false |
| 124 | if (activeWindowId.value === id) { |
| 125 | const remaining = openWindows.value |
| 126 | activeWindowId.value = remaining.length > 0 |
| 127 | ? remaining[remaining.length - 1].id |
| 128 | : null |
| 129 | } |
| 130 | } |
| 131 | |
| 132 | function closeByAppId(appId: AppId) { |
| 133 | const w = windowList.value.find(w => w.appId === appId && w.isOpen) |