public void setHighlight(FieldSelection sel) {
		highlight = new FieldSelection(sel);
		repaint();
		notifyHighlightChanged();
	}
Sets the current highlight to the specified field selection.

@param sel the selection to set as the highlight.
Ghidra/Framework/Docking/src/main/java/docking/widgets/fieldpanel/FieldPanel.java