(preserveFocus?: boolean)
| 385 | |
| 386 | // Called to create a new webview if the user closed the old one: |
| 387 | public show(preserveFocus?: boolean): void { |
| 388 | preserveFocus ??= this.showOptions.preserveFocus; |
| 389 | if (!this.webviewPanel) { |
| 390 | const showOptions = { |
| 391 | ...this.showOptions, |
| 392 | preserveFocus: preserveFocus |
| 393 | }; |
| 394 | this.webviewPanel = this.makeNewWebview(showOptions); |
| 395 | this.refreshHtml(); |
| 396 | } else { |
| 397 | this.webviewPanel.reveal(undefined, preserveFocus); |
| 398 | } |
| 399 | this.parent.registerActiveViewer(this); |
| 400 | } |
| 401 | |
| 402 | public openExternal(): void { |
| 403 | let urlString = `http://${this.host}/live`; |
no test coverage detected