public boolean isCaseSensitive() {
			return caseSensitiveCheckbox.isSelected();
		}
Contains widgets for controlling various filtering attributes. The following options are
provided: 
		- Case Sensitive
		- Allow Globbing
Ghidra/Framework/Docking/src/main/java/docking/widgets/filter/FilterOptionsEditorDialog.java