@Override
	public void writeState(GProperties properties) {
		properties.putEnum(KEY_REPETABLE, repeatable);
		properties.putEnum(KEY_REF_REPETABLE, refRepeatable);
		properties.putEnum(KEY_AUTO_DATA, autoData);
		properties.putEnum(KEY_AUTO_FUNCTION, autoFunction);
		properties.putBoolean(KEY_USE_ABBRAVIATED, useAbbreviatedComments);
	}
An option class that is used by the {@link EolExtraCommentsPropertyEditor} to load and save 
option settings.
Ghidra/Features/Base/src/main/java/ghidra/app/util/viewer/field/EolExtraCommentsOption.java