public void setSelection(FieldSelection sel, EventTrigger trigger) {
		if (!selectionHandler.isSelectionOn()) {
			return;
		}
		selection = new FieldSelection(sel);
		repaint();
		notifySelectionChanged(trigger);
	}
Sets the current selection.

@param sel the selection to set.
@param trigger the cause of the change
Ghidra/Framework/Docking/src/main/java/docking/widgets/fieldpanel/FieldPanel.java