private void doToggleVisibility() {
		if (isFilterDisplayed) {
			setFilterText(""); // clear the filter when not showing to avoid confusing the user
			filterPanel.setVisible(false);
			isFilterDisplayed = false;
			return;
		}

		// make filter displayed and maybe focus it
		filterPanel.setVisible(true);
		isFilterDisplayed = true;
	}
Sets the options for this filter provider.
@param filterOptions the new filter options
Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/DefaultGTreeFilterProvider.java