@Override
	public void setProgram(Program program, AddressIndexMap map) {
		this.program = program;

		navigationPanel.setProgram(program, map);
		markerManager.updateMarkerSets(program, true, true, false);
		actionList.refresh();
	}
The provider which renders the overview margin, usually placed outside the scrollbar to the right
of lisitng {@link FieldPanel}s.

<p>
These are managed by a {@link MarkerManager}. Obtain one via
{@link MarkerService#createOverviewProvider()}.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/marker/MarkerOverviewProvider.java