Support Remote Development Board Selection

src/arduino/arduinoContentProvider.ts

@@ -77,7 +77,7 @@ export class ArduinoContentProvider implements vscode.TextDocumentContentProvide
                     var backgroundcolor = styles.getPropertyValue('--background-color') || '#1e1e1e';
                     var color = styles.getPropertyValue('--color') || '#d4d4d4';
                     var theme = document.body.className || 'vscode-dark';
-                    var url = "${this._webserver.getEndpointUri(type)}?" +
+                    var url = "${(await vscode.env.asExternalUri(this._webserver.getEndpointUri(type))).toString()}?" +
                             "theme=" + encodeURIComponent(theme.trim()) +
                             "&backgroundcolor=" + encodeURIComponent(backgroundcolor.trim()) +
                             "&color=" + encodeURIComponent(color.trim());

src/arduino/localWebServer.ts

@@ -5,6 +5,7 @@ import * as bodyParser from "body-parser";
 import * as express from "express";
 import * as http from "http";
 import * as path from "path";
+import { Uri } from "vscode";
 
 export default class LocalWebServer {
     private app = express();
@@ -19,8 +20,9 @@ export default class LocalWebServer {
     public getServerUrl(): string {
         return `http://localhost:${this.server.address().port}`;
     }
-    public getEndpointUri(type: string): string {
-        return `http://localhost:${this.server.address().port}/${type}`;
+
+    public getEndpointUri(type: string): Uri {
+        return Uri.parse(`http://localhost:${this.server.address().port}/${type}`);
     }
 
     public addHandler(url: string, handler: (req, res) => void): void {