@Override
	public void readState(GProperties properties) {
		showLocalNamespace = properties.getBoolean(SHOW_LOCAL_NAMESPACE, showLocalNamespace);
		showNonLocalNamespace =
			properties.getBoolean(SHOW_NON_LOCAL_NAMESPACE, showNonLocalNamespace);
		useLocalPrefixOverride =
			properties.getBoolean(USE_LOCAL_PREFIX_OVERRIDE, useLocalPrefixOverride);
		localPrefixText = properties.getString(LOCAL_PREFIX, localPrefixText);
		showLibraryInNamespace =
			properties.getBoolean(SHOW_LIBRARY_IN_NAMESPACE, DEFAULT_SHOW_LIBRARY_IN_NAMESPACE);
	}
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