()
| 400 | } |
| 401 | |
| 402 | public openExternal(): void { |
| 403 | let urlString = `http://${this.host}/live`; |
| 404 | if (this.token) { |
| 405 | urlString += `?token=${this.token}`; |
| 406 | } |
| 407 | const uri = vscode.Uri.parse(urlString); |
| 408 | void vscode.env.openExternal(uri); |
| 409 | } |
| 410 | |
| 411 | // focus a specific plot id |
| 412 | public async focusPlot(id?: HttpgdPlotId): Promise<void> { |
no outgoing calls
no test coverage detected