private void repairSecondarySelectionForRename(ClangToken token, String newName) {
		Color hlColor = highlightController.getSecondaryHighlight(token);
		if (hlColor == null) {
			return; // not highlighted
		}

		highlightController.removeSecondaryHighlights(token);

		// Add the new highlighter when we have rebuilt the token
		controller.doWhenNotBusy(() -> {
			addSecondaryHighlight(newName, t -> hlColor);
		});
	}
This function is used to alert the panel that a token was renamed. If the token being renamed
had a middle-mouse or secondary highlight, we must re-apply the highlights to the new token.

<p>
This is not needed for highlighter service highlights, since they get called again to
re-apply highlights. It is up to that highlighter to determine if highlighting still applies
to the new token name. Alternatively, for secondary highlights, we know the user chose the
highlight based upon name. Thus, when the name changes, we need to take action to update the
secondary highlight.

@param token the token being renamed
@param newName the new name of the token
Ghidra/Features/Decompiler/src/main/java/ghidra/app/decompiler/component/DecompilerPanel.java