()
| 78 | } |
| 79 | |
| 80 | private async refreshCurrentEntry(): Promise<void> { |
| 81 | if(!this.currentEntry){ |
| 82 | return; |
| 83 | } |
| 84 | const newHelpFile = await this.rHelp.getHelpFileForPath(this.currentEntry.helpFile.requestPath, undefined, true); |
| 85 | if(!newHelpFile){ |
| 86 | return; |
| 87 | } |
| 88 | newHelpFile.scrollY = await this.getScrollY(); |
| 89 | await this.showHelpFile(newHelpFile, false, undefined, undefined, true); |
| 90 | } |
| 91 | |
| 92 | // retrieves the stored webview or creates a new one if the webview was closed |
| 93 | private getWebview(preserveFocus: boolean = false, viewColumn: vscode.ViewColumn = vscode.ViewColumn.Two): vscode.Webview { |
no test coverage detected