mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-06-07 04:36:33 +00:00
preserve node expanded state on refresh
This commit is contained in:
parent
64dc124a53
commit
57b9eb95bb
@ -45,7 +45,7 @@ export class SketchbookTree extends FileNavigatorTree {
|
|||||||
return true;
|
return true;
|
||||||
});
|
});
|
||||||
|
|
||||||
if (children.length === 0) {
|
if (DirNode.is(parent) && children.length === 0) {
|
||||||
delete (parent as any).expanded;
|
delete (parent as any).expanded;
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -84,9 +84,9 @@ export class SketchbookTree extends FileNavigatorTree {
|
|||||||
|
|
||||||
if (!showAllFiles) {
|
if (!showAllFiles) {
|
||||||
delete (node as any).expanded;
|
delete (node as any).expanded;
|
||||||
(node as any).children = [];
|
node.children = [];
|
||||||
} else {
|
} else {
|
||||||
(node as any).expanded = false;
|
node.expanded = 'expanded' in node ? node.expanded : false;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
return node;
|
return node;
|
||||||
|
Loading…
x
Reference in New Issue
Block a user