()
| 674 | // functions for initial or re-drawing of html: |
| 675 | |
| 676 | protected refreshHtml(): void { |
| 677 | this.webviewPanel ??= this.makeNewWebview(); |
| 678 | this.webviewPanel.webview.html = ''; |
| 679 | this.webviewPanel.webview.html = this.makeHtml(); |
| 680 | // make sure that fullWindow is set correctly: |
| 681 | this.toggleFullWindow(this.fullWindow); |
| 682 | void this.setContextValues(true); |
| 683 | } |
| 684 | |
| 685 | protected makeHtml(): string { |
| 686 | const ejsData = this.makeEjsData(); |
no test coverage detected