@Override
	public void writeState(SaveState saveState) {
		if (keyStroke == null) {
			return;
		}
		saveState.putInt(KEY_CODE, keyStroke.getKeyCode());
		saveState.putInt(MODIFIERS, keyStroke.getModifiers());
	}
Construct a wrapper object using the given KeyStroke.
@param ks the keystroke
Ghidra/Framework/Gui/src/main/java/ghidra/framework/options/WrappedKeyStroke.java