private void loadFromPreferenceState(PreferenceState preferenceState) {
		if (preferenceState == null) {
			return;
		}

		Element element = preferenceState.getXmlElement(FILTER_STATE);
		if (element == null) {
			return;
		}

		FilterOptions filterOptions = FilterOptions.restoreFromXML(element);
		filterFactory = new GTreeFilterFactory(filterOptions);

		Attribute attribute = element.getAttribute("IS_SHOWING");
		if (attribute != null) { // null when loading old settings
			boolean shouldBeDisplayed = Boolean.parseBoolean(attribute.getValue());
			if (shouldBeDisplayed != isFilterDisplayed) {
				doToggleVisibility();
			}
		}

		updateModelFilter();
	}
Sets the options for this filter provider.
@param filterOptions the new filter options
Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/DefaultGTreeFilterProvider.java