@Override
	public void setHasFocus(boolean hasFocus) {
		treePanel.setHasFocus(hasFocus);
		plugin.enableActions(program != null);
		if (hasFocus) {
			plugin.treeViewChanged(this);
			if (goToService == null) {
				goToService = plugin.getGoToService();
			}
			if (viewManagerService == null) {
				viewManagerService = plugin.getViewManagerService();
			}
			notifyListeners();
		}
	}
Provides a view of the program tree.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/programtree/TreeViewProvider.java