public void setCurrentHighlight(ProgramSelection highlight) {
		if (SystemUtilities.isEqual(currentHighlight, highlight)) {
			return;
		}
		this.currentHighlight = highlight;
		if (isGlobalState && tool != null) {
			ProgramSelection sel = currentHighlight != null ? currentHighlight
					: new ProgramSelection(new AddressSet());
			PluginEvent evt =
				new ProgramHighlightPluginEvent(getClass().getName(), sel, currentProgram);
			tool.firePluginEvent(evt);
		}
	}
Set the currently highlighted selection and fire a {@link ProgramHighlightPluginEvent}.

@param highlight the selection
Ghidra/Features/Base/src/main/java/ghidra/app/script/GhidraState.java