public refresh() as Void
Refreshes roots and visible expanded folders, retaining the selected path when available. Collapsed branches become deferred again.
tree.refresh()