From 57b9eb95bb39d15ecf188b21b0acb6d304fba89d Mon Sep 17 00:00:00 2001
From: Francesco Stasi <f.stasi@me.com>
Date: Fri, 23 Jul 2021 17:03:44 +0200
Subject: [PATCH] preserve node expanded state on refresh

---
 .../src/browser/widgets/sketchbook/sketchbook-tree.ts       | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree.ts b/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree.ts
index ec7676f4..b1f04a8d 100644
--- a/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree.ts
+++ b/arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree.ts
@@ -45,7 +45,7 @@ export class SketchbookTree extends FileNavigatorTree {
       return true;
     });
 
-    if (children.length === 0) {
+    if (DirNode.is(parent) && children.length === 0) {
       delete (parent as any).expanded;
     }
 
@@ -84,9 +84,9 @@ export class SketchbookTree extends FileNavigatorTree {
 
       if (!showAllFiles) {
         delete (node as any).expanded;
-        (node as any).children = [];
+        node.children = [];
       } else {
-        (node as any).expanded = false;
+        node.expanded = 'expanded' in node ? node.expanded : false;
       }
     }
     return node;