public void setKeyStroke(KeyStroke ks) {
		processKeyStroke(ks, false);
		setText(KeyBindingUtils.parseKeyStroke(ks));
	}
Sets the current key stroke
@param ks the new key stroke
Ghidra/Framework/Docking/src/main/java/docking/KeyEntryTextField.java