protected void optionsChanged(Options options, String name, Object oldValue, Object newValue) {
		if (name.equals(DOCKING_WINDOWS_ON_TOP)) {
			winMgr.setWindowsOnTop(((Boolean) newValue).booleanValue());
		}
	}
Placeholder for subclasses to get a chance to install actions before plugins.
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/PluginTool.java