()
| 225 | } |
| 226 | |
| 227 | destroy() { |
| 228 | console.log("destroy tab", this.waveTabId); |
| 229 | removeWaveTabView(this.waveTabId); |
| 230 | if (!this.isDestroyed) { |
| 231 | this.webContents?.close(); |
| 232 | } |
| 233 | this.isDestroyed = true; |
| 234 | } |
| 235 | } |
| 236 | |
| 237 | let MaxCacheSize = 10; |
no test coverage detected