Use QuickPick to select source from list

It allows to select existing source file

Author: MrSantiaga

src/extension.ts

@@ -152,6 +152,24 @@ export async function activate(context: vscode.ExtensionContext) {
         return { board: arduinoContextModule.default.boardManager.currentBoard.name };
     });
 
+    registerArduinoCommand("set.current.sketch", async () => {
+        if (!status.compile) {
+            status.compile = "upload";
+            try {
+                await vscode.window.withProgress({
+                    location: vscode.ProgressLocation.Window,
+                    title: "Arduino: Uploading...",
+                }, async () => {
+                    await arduinoContextModule.default.arduinoApp.upload();
+                });
+            } catch (ex) {
+            }
+            delete status.compile;
+        }
+    }, () => {
+        return { board: arduinoContextModule.default.boardManager.currentBoard.name };
+    });
+
     const getChildArduinoSources = (directory: string) => {
         if (!directory) {
             directory = vscode.workspace.rootPath;
@@ -180,18 +198,13 @@ export async function activate(context: vscode.ExtensionContext) {
 
     registerArduinoCommand("arduino.setSketchFile", async () => {
         const sketchFileName = deviceContext.sketch;
-        const newSketchFileName = await vscode.window.showInputBox({
-            placeHolder: sketchFileName,
-            validateInput: (value) => {
-                if (value && /\.((ino)|(cpp)|c)$/.test(value.trim())) {
-                    return null;
-                } else {
-                    return "Invalid sketch file name. Should be *.ino/*.cpp/*.c";
-                }
-            },
-        });
+        let newSketchFileName = await vscode.window.showQuickPick(
+            getChildArduinoSources(undefined), 
+            {
+                canPickMany: false, placeHolder: sketchFileName
+            });
 
-        if (!newSketchFileName) {
+        if (!newSketchFileName || newSketchFileName === sketchFileName) {
             return;
         }