@Override
	public void contextChanged(ComponentProvider provider) {
		if (isDisposed) {
			return;
		}
		super.contextChanged(provider);
	}
This method will be deleted.  Preference state should be managed with the 
{@link DockingWindowManager}.
@param name the name
@deprecated use the {@link DockingWindowManager}
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/PluginTool.java