@Override
	public void writeState(GProperties properties) {
		properties.putBoolean(SHOW_LOCAL_NAMESPACE, showLocalNamespace);
		properties.putBoolean(SHOW_NON_LOCAL_NAMESPACE, showNonLocalNamespace);
		properties.putBoolean(USE_LOCAL_PREFIX_OVERRIDE, useLocalPrefixOverride);
		properties.putString(LOCAL_PREFIX, localPrefixText);
		properties.putBoolean(SHOW_LIBRARY_IN_NAMESPACE, showLibraryInNamespace);
	}
An option class that allows the user to edit a related group of options pertaining to
namespace display.
Ghidra/Features/Base/src/main/java/ghidra/app/util/viewer/field/NamespaceWrappedOption.java