UNPKG

wed

Version:

Wed is a schema-aware editor for XML documents.

57 lines (56 loc) 1.91 kB
/// <reference types="jquery" /> /** * Quick search GUI. * @author Louis-Dominique Dubeau * @license MPL 2.0 * @copyright Mangalam Research Center for Buddhist Languages */ import { Editor } from "../editor"; import { ChangeEvent } from "./minibuffer"; import { Scroller } from "./scroller"; import { Direction } from "./search-replace"; export { Direction }; /** * 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. */ export declare class QuickSearch { private readonly editor; private direction; private readonly search; /** * @param editor The editor for which we are searching. * * @param scroller The scroller that contains the document. * * @param direction The direction of the search. */ constructor(editor: Editor, scroller: Scroller, direction: Direction); /** Update the prompt shown to the user to indicate a new direction. */ private updatePrompt(); /** * The minibuffer calls this function so that the quick search can handle * keydown events. * * @returns ``false`` if the key was handled, ``undefined`` otherwise. */ onMinibufferKeydown(ev: JQueryKeyEventObject): boolean | undefined; /** * Get the current search options to pass to the underlying search engine. */ private getSearchOptions(); /** * Move to the next hit in the direction specified by the user. */ private next(); /** * Called by the minibuffer whenever the text in the minibuffer input changes. */ onMinibufferChange(ev: ChangeEvent): void; /** * Called by the minibuffer when the user exits the minibuffer. */ onUninstall(): void; }