@Override
	public void dispose() {
		if (currentProgram != null) {
			currentProgram.removeListener(domainObjectListener);
		}
		swingMgr.dispose();
		if (provider != null) {
			provider.dispose();
		}
		super.dispose();
	}
Kicks the tool actions to set the proper enablement when selection changes
on the function table
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/functionwindow/FunctionWindowPlugin.java