(entry: HistoryEntry)
| 237 | } |
| 238 | } |
| 239 | private async showHistoryEntry(entry: HistoryEntry) { |
| 240 | let helpFile: HelpFile; |
| 241 | if (entry.isStale) { |
| 242 | // Fallback to stale helpFile. |
| 243 | // Handle differently? |
| 244 | const newHelpFile = await this.rHelp.getHelpFileForPath(entry.helpFile.requestPath, true, true); |
| 245 | helpFile = newHelpFile || entry.helpFile; |
| 246 | helpFile.scrollY = entry.helpFile.scrollY; |
| 247 | } else { |
| 248 | helpFile = entry.helpFile; |
| 249 | } |
| 250 | |
| 251 | void this.showHelpFile(helpFile, false); |
| 252 | } |
| 253 | |
| 254 | // Get current scrollY from webview |
| 255 | private async getScrollY(): Promise<number> { |
no test coverage detected