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

@param sel the new selection
Ghidra/Features/Base/src/main/java/ghidra/app/util/viewer/listingpanel/ListingPanel.java