code: function (root) {
        if (root.refresh) {
          root.refresh()
          return
        }
        for (var i = 0; i < root.children.length; i++) {
          refreshTree(root.children[i])
        }
      }
docs: Refresh the DOM tree