void setViewName(String newName) {
		String oldName = treePanel.getTreeName();
		treePanel.setTreeName(newName);
		// notify the view manager service that the name has changed
		if (viewManagerService == null) {
			viewManagerService = plugin.getViewManagerService();
		}
		viewManagerService.viewNameChanged(this, oldName);
	}
Set the name of the view for this provider.
@param newName new name for the view
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/programtree/TreeViewProvider.java