fix: missing refresh to set local URI to node

Signed-off-by: Akos Kitta <[email protected]>

Author: Akos Kitta

arduino-ide-extension/src/browser/widgets/cloud-sketchbook/cloud-sketchbook-tree.ts

@@ -343,18 +343,18 @@ export class CloudSketchbookTree extends SketchbookTree {
     task: (node: CloudSketchbookTree.CloudSketchDirNode) => MaybePromise<T>,
     noProgress = false
   ): Promise<T> {
-    if (noProgress) {
-      return task(node);
-    }
-    const name = node.uri.path.name;
-    return ExecuteWithProgress.withProgress(
-      this.taskMessage(state, name),
-      this.messageService,
-      async (progress) => {
-        progress.report({ work: { done: 0, total: NaN } });
-        return task(node);
-      }
-    );
+    const result = await (noProgress
+      ? task(node)
+      : ExecuteWithProgress.withProgress(
+          this.taskMessage(state, node.uri.path.name),
+          this.messageService,
+          async (progress) => {
+            progress.report({ work: { done: 0, total: NaN } });
+            return task(node);
+          }
+        ));
+    await this.refresh(node);
+    return result;
   }
 
   private taskMessage(