The editor for which we are searching.
The scroller that contains the document.
The direction of the search.
The direction of the search.
The editor for which we are searching.
Get the current search options to pass to the underlying search engine.
Move to the next hit in the direction specified by the user.
Called by the minibuffer whenever the text in the minibuffer input changes.
The minibuffer calls this function so that the quick search can handle keydown events.
false if the key was handled, undefined otherwise.
Called by the minibuffer when the user exits the minibuffer.
Update the prompt shown to the user to indicate a new direction.
Generated using TypeDoc
A quick search interface. The quick search sets the minibuffer to prompt the user for a term and searches through the document in the specified search direction. See the section on "Quick Search" in the editor's embedded help for details of how it works for the user.