(uri: Uri)
| 272 | } |
| 273 | |
| 274 | function getBrowserHtml(uri: Uri): string { |
| 275 | return ` |
| 276 | <!DOCTYPE html> |
| 277 | <html lang="en"> |
| 278 | <head> |
| 279 | <meta charset="utf-8"> |
| 280 | <meta name="viewport" content="width=device-width, initial-scale=1"> |
| 281 | <style> |
| 282 | html, body { |
| 283 | height: 100%; |
| 284 | padding: 0; |
| 285 | overflow: hidden; |
| 286 | } |
| 287 | </style> |
| 288 | </head> |
| 289 | <body> |
| 290 | <iframe src="${uri.toString(true)}" width="100%" height="100%" frameborder="0" /> |
| 291 | </body> |
| 292 | </html> |
| 293 | `; |
| 294 | } |
| 295 | |
| 296 | export function refreshBrowser(): void { |
| 297 | console.log('[refreshBrowser]'); |
no outgoing calls
no test coverage detected