function find(skip, backward) {
	const { $searchInput } = quickTools;
	editorManager.editor.find($searchInput.value, {
		skipCurrent: skip,
		...appSettings.value.search,
		backwards: backward,
	});

	updateSearchState();
}
Finds the next/previous search result
@param {number} skip Number of search results to skip
@param {boolean} backward Whether to search backward