private void loadSearchOptions(ToolOptions options) {
		searchLimit = options.getInt(SEARCH_LIMIT_NAME, DEFAULT_SEARCH_LIMIT);
		highlightMatches = options.getBoolean(SEARCH_HIGHLIGHT_NAME, true);
		autoRestrictSelection = options.getBoolean(AUTO_RESTRICT_SELECTION, true);
		prepopulateSearch = options.getBoolean(PRE_POPULATE_MEM_SEARCH, true);
	}
Class for managing search tool options.
Ghidra/Features/Base/src/main/java/ghidra/features/base/memsearch/gui/MemorySearchOptions.java