Fix TypeError: this.treebox is undefined treeView.js. Should fix issue 7786