TabGui: navtree automatically disabled if empty