void setProgress(int progress) {
		this.progress = progress;
	}
Set the progress value; used in subsequent searches to update the
monitor.
@param progress
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/searchtext/SearchOptions.java