(refreshTreeView: boolean = false)
| 313 | |
| 314 | // refresh cached help info |
| 315 | public async refresh(refreshTreeView: boolean = false): Promise<boolean> { |
| 316 | this.cachedHelpFiles.clear(); |
| 317 | await this.helpProvider?.refresh?.(); |
| 318 | await this.aliasProvider?.refresh?.(); |
| 319 | await this.packageManager?.refresh?.(); |
| 320 | |
| 321 | // completely replace previewers |
| 322 | while(this.previewProviders.length){ |
| 323 | this.previewProviders.pop()?.dispose(); |
| 324 | } |
| 325 | this.previewProviders.push(...makePreviewerList(this.helpPreviewerOptions)); |
| 326 | |
| 327 | // refresh helpPanels |
| 328 | for (const panel of this.helpPanels) { |
| 329 | await panel.refresh(); |
| 330 | } |
| 331 | |
| 332 | // refresh tree view |
| 333 | if (refreshTreeView) { |
| 334 | this.treeViewWrapper.refreshPackageRootNode(); |
| 335 | this.treeViewWrapper.refreshRootNode(); |
| 336 | } |
| 337 | return true; |
| 338 | } |
| 339 | |
| 340 | // refresh only a certain preview: |
| 341 | public refreshPreviewer(previewer: RLocalHelpPreviewer): void { |
no test coverage detected