public void setDefaultComponent(ComponentProvider provider) {
		defaultProvider = provider;
	}
Sets the provider that should get the default focus when no component has focus.

@param provider the provider that should get the default focus when no component has focus.
Ghidra/Framework/Docking/src/main/java/docking/DockingWindowManager.java