src/vs/base/browser/ui/tree/dataTree.ts/DataTree/refresh
class DataTree:	refresh(element?: T): void {
		if (element === undefined) {
			this.view.rerender();
			return;
		}

		this.model.rerender(element);
	}