@Override
	void programDeactivated(Program deactivatedProgram) {
		// nothing to do; we maintain our state as the user changes programs
	}
A disconnected symbol tree is a snapshot of the primary symbol tree.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/symboltree/DisconnectedSymbolTreeProvider.java