Method doSearch

src/code_view.ts:225–241

()

	}

	private doSearch() {
		const query = this.getQuery();

		if (!query.search) {
			// 清空搜索时，清除选中状态
			const { from, to } = this.view.state.selection.main;
			if (from !== to) {
				this.view.dispatch({
					selection: { anchor: from, head: from }
				});
			}
			return;
		}

		// 执行搜索 - 从当前位置开始查找第一个匹配
		this.findNext();
	}

	private findNext() {
		const query = this.getQuery();