(re: string | RegExp)
| 356 | |
| 357 | // refresh cached help info only for a specific file/package |
| 358 | public clearCachedFiles(re: string | RegExp): void { |
| 359 | for (const path of this.cachedHelpFiles.keys()) { |
| 360 | if ( |
| 361 | (typeof re === 'string' && path === re) || |
| 362 | (typeof re !== 'string' && re.exec(path)) |
| 363 | ) { |
| 364 | this.cachedHelpFiles.delete(path); |
| 365 | } |
| 366 | } |
| 367 | } |
| 368 | |
| 369 | // create a new help panel |
| 370 | public makeNewHelpPanel(panel?: vscode.WebviewPanel): HelpPanel { |
no test coverage detected