(
webviewPanel: vscode.WebviewPanel,
path: string,
)
| 280 | } |
| 281 | |
| 282 | async deserializeWebviewPanel( |
| 283 | webviewPanel: vscode.WebviewPanel, |
| 284 | path: string, |
| 285 | ): Promise<void> { |
| 286 | const panel = this.makeNewHelpPanel(webviewPanel); |
| 287 | await this.showHelpForPath(path, undefined, true, panel); |
| 288 | return; |
| 289 | } |
| 290 | |
| 291 | // used to close files, stop servers etc. |
| 292 | public dispose(): void { |
nothing calls this directly
no test coverage detected