public void setCaretPosition(int pos) throws BadLocationException {
		LinkerState old = state.copy();
		state.setGlobalCaret(pos);
		if (!old.equals(state)) {
			syncStateLater();
		}
	}
Set the location of the caret among the composite text

@param pos the position, including separators
@throws BadLocationException if the position is larger than the composite text
Ghidra/Framework/Docking/src/main/java/docking/widgets/textfield/TextFieldLinker.java