(_: any)
| 610 | } |
| 611 | |
| 612 | private async mainResizeHandler(_: any) { |
| 613 | if (this == null || this.isDestroyed() || this.fullScreen) { |
| 614 | return; |
| 615 | } |
| 616 | const bounds = this.getBounds(); |
| 617 | try { |
| 618 | await WindowService.SetWindowPosAndSize( |
| 619 | this.waveWindowId, |
| 620 | { x: bounds.x, y: bounds.y }, |
| 621 | { width: bounds.width, height: bounds.height } |
| 622 | ); |
| 623 | } catch (e) { |
| 624 | console.log("error sending new window bounds to backend", e); |
| 625 | } |
| 626 | } |
| 627 | |
| 628 | removeTabView(tabId: string, force: boolean) { |
| 629 | if (!force && this.activeTabView?.waveTabId == tabId) { |
no test coverage detected