()
| 294 | } |
| 295 | |
| 296 | export function refreshBrowser(): void { |
| 297 | console.log('[refreshBrowser]'); |
| 298 | if (activeBrowserPanel) { |
| 299 | activeBrowserPanel.webview.html = ''; |
| 300 | if (activeBrowserExternalUri) { |
| 301 | activeBrowserPanel.webview.html = getBrowserHtml(activeBrowserExternalUri); |
| 302 | } |
| 303 | } |
| 304 | } |
| 305 | |
| 306 | export function openExternalBrowser(): void { |
| 307 | console.log('[openExternalBrowser]'); |
nothing calls this directly
no test coverage detected