@Override
	public boolean equals(Object obj) {
		if (this == obj)
			return true;
		if (obj == null)
			return false;
		if (getClass() != obj.getClass())
			return false;
		SearchOptions other = (SearchOptions) obj;
		if (caseSensitive != other.caseSensitive)
			return false;
		if (comments != other.comments)
			return false;
		if (dataMnemonics != other.dataMnemonics)
			return false;
		if (dataOperands != other.dataOperands)
			return false;
		if (direction != other.direction)
			return false;
		if (functions != other.functions)
			return false;
		if (instructionMnemonics != other.instructionMnemonics)
			return false;
		if (instructionOperands != other.instructionOperands)
			return false;
		if (labels != other.labels)
			return false;
		if (databaseSearch != other.databaseSearch)
			return false;
		if (searchAll != other.searchAll)
			return false;
		if (text == null) {
			if (other.text != null)
				return false;
		}
		else if (!text.equals(other.text))
			return false;
		return true;
	}
Get the progress value to add on to it for updating the progress in
the search monitor.
@return
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/searchtext/SearchOptions.java