TabGui: added navtree_init_width config option (default 230)