@Override
	public void activate() {
		if (!isFilterDisplayed) {
			filterPanel.setVisible(true);
			isFilterDisplayed = true;
		}

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