public void setSelection(FieldSelection sel) {
		setSelection(sel, EventTrigger.API_CALL);
	}
Sets the current selection.

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