@Override
	public void dispose() {
		DockingWindowManager dwm = DockingWindowManager.getInstance(getFilterComponent());
		if (dwm != null) {
			String key = gTree.getPreferenceKey();
			dwm.removePreferenceStateSupplier(key);
		}
	}
Sets the options for this filter provider.
@param filterOptions the new filter options
Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/DefaultGTreeFilterProvider.java